our version of fix for oom reported by academic k (#237)

runtimeverification · Aug 25, 2016 · 7ba37fb · 7ba37fb
1 parent 6a83197
commit 7ba37fb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/kernel/src/main/java/org/kframework/parser/concrete2kore/generator/RuleGrammarGenerator.java b/kernel/src/main/java/org/kframework/parser/concrete2kore/generator/RuleGrammarGenerator.java
@@ -210,6 +210,9 @@ public ParseInModule getCombinedGrammar(Module mod) {
         if (addRuleCells) {
             ConfigurationInfo cfgInfo = new ConfigurationInfoFromModule(mod);
             parseProds = Stream.concat(prods.stream(), stream(mod.sentences())).flatMap(s -> {
+                if (s instanceof Production && s.att().contains("cellCollection")) {
+                    return Stream.empty();
+                }
                 if (s instanceof Production && (s.att().contains("cell"))) {
                     Production p = (Production) s;
                     // assuming that productions tagged with 'cell' start and end with terminals, and only have non-terminals in the middle