diff --git a/reactor/API/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java b/reactor/API/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java
index 16419de2..621aa07a 100644
--- a/reactor/API/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java
+++ b/reactor/API/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java
@@ -58,7 +58,7 @@ public abstract class EvaluationSession {
ourBackend = null;
}
- protected static interface Backend {
+ protected interface Backend {
EvaluationSession current();
diff --git a/reactor/API/src/jetbrains/mps/logic/reactor/evaluation/trace.info b/reactor/API/src/jetbrains/mps/logic/reactor/evaluation/trace.info
index 1ab42c97..a80ab951 100644
--- a/reactor/API/src/jetbrains/mps/logic/reactor/evaluation/trace.info
+++ b/reactor/API/src/jetbrains/mps/logic/reactor/evaluation/trace.info
@@ -1,5 +1,5 @@
-
+
@@ -437,5 +437,5 @@
-
+
diff --git a/reactor/API/src/jetbrains/mps/logic/reactor/logical/SolverLogical.java b/reactor/API/src/jetbrains/mps/logic/reactor/logical/SolverLogical.java
index 0ca7da93..7f93f070 100644
--- a/reactor/API/src/jetbrains/mps/logic/reactor/logical/SolverLogical.java
+++ b/reactor/API/src/jetbrains/mps/logic/reactor/logical/SolverLogical.java
@@ -28,7 +28,7 @@ public interface SolverLogical extends Logical {
*/
void setValue(T newValue);
- static interface ValueReconciler {
+ interface ValueReconciler {
void reconcile(T valueA, T valueB);
diff --git a/reactor/API/src/jetbrains/mps/logic/reactor/logical/trace.info b/reactor/API/src/jetbrains/mps/logic/reactor/logical/trace.info
index 4ed934dc..8d13180e 100644
--- a/reactor/API/src/jetbrains/mps/logic/reactor/logical/trace.info
+++ b/reactor/API/src/jetbrains/mps/logic/reactor/logical/trace.info
@@ -1,5 +1,5 @@
-
+
@@ -169,5 +169,5 @@
-
+
diff --git a/reactor/API/src/jetbrains/mps/logic/reactor/program/Rule.java b/reactor/API/src/jetbrains/mps/logic/reactor/program/Rule.java
index 4e2ff308..6ac9ccbc 100644
--- a/reactor/API/src/jetbrains/mps/logic/reactor/program/Rule.java
+++ b/reactor/API/src/jetbrains/mps/logic/reactor/program/Rule.java
@@ -22,11 +22,10 @@ public abstract class Rule {
public abstract Iterable all();
- public static enum Kind {
+ public enum Kind {
SIMPLIFICATION(),
PROPAGATION(),
- SIMPAGATION();
-
+ SIMPAGATION()
}
}
diff --git a/reactor/API/src/jetbrains/mps/logic/reactor/program/trace.info b/reactor/API/src/jetbrains/mps/logic/reactor/program/trace.info
index 1d0016b0..a8cac5f8 100644
--- a/reactor/API/src/jetbrains/mps/logic/reactor/program/trace.info
+++ b/reactor/API/src/jetbrains/mps/logic/reactor/program/trace.info
@@ -1,5 +1,5 @@
-
+
@@ -210,8 +210,8 @@
-
-
+
+
@@ -250,5 +250,5 @@
-
+