From a2dacdd75a0f965b35a74aba020872b446d33578 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 25 Apr 2022 12:14:22 +0200 Subject: [PATCH] Update reactor version to reflect major changes Dropped all "incremental" stuff. Occurrences and rules are no longer divided into "principal" and others. --- reactor/Core/pom.xml | 4 ++-- reactor/Test/pom.xml | 4 ++-- reactor/pom.xml | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/reactor/Core/pom.xml b/reactor/Core/pom.xml index fbc1ccd7..40524f4f 100644 --- a/reactor/Core/pom.xml +++ b/reactor/Core/pom.xml @@ -7,8 +7,8 @@ jetbrains.mps.logic.conreactor conreactor-main - 0.9.15 - .. + 0.9.16 + ../pom.xml conreactor-core diff --git a/reactor/Test/pom.xml b/reactor/Test/pom.xml index 2f4cacb5..84ab7b03 100644 --- a/reactor/Test/pom.xml +++ b/reactor/Test/pom.xml @@ -7,8 +7,8 @@ jetbrains.mps.logic.conreactor conreactor-main - 0.9.15 - .. + 0.9.16 + ../pom.xml tests diff --git a/reactor/pom.xml b/reactor/pom.xml index 10385dc7..5f17c77a 100644 --- a/reactor/pom.xml +++ b/reactor/pom.xml @@ -14,7 +14,7 @@ jetbrains.mps.logic.conreactor conreactor-main - 0.9.15 + 0.9.16 pom