Removed scala code and refactored accordingly.

runtimeverification · Nov 28, 2023 · c5a44e8 · c5a44e8
1 parent 3ef8a8b
commit c5a44e8
Show file tree

Hide file tree

Showing 13 changed files with 933 additions and 742 deletions.
diff --git a/kernel/src/main/java/org/kframework/parser/inner/ParseInModule.java b/kernel/src/main/java/org/kframework/parser/inner/ParseInModule.java
@@ -22,6 +22,7 @@
 import org.kframework.parser.Term;
 import org.kframework.parser.TreeNodesToKORE;
 import org.kframework.parser.inner.disambiguation.*;
+import org.kframework.parser.inner.disambiguation.inference.SortInferencer;
 import org.kframework.parser.inner.kernel.EarleyParser;
 import org.kframework.parser.inner.kernel.Scanner;
 import org.kframework.parser.outer.Outer;