From 7ba37fb32f357b0deee710a83b6e58501a2b7212 Mon Sep 17 00:00:00 2001
From: dwightguth <dwight.guth@runtimeverification.com>
Date: Thu, 25 Aug 2016 15:33:22 -0500
Subject: [PATCH] our version of fix for oom reported by academic k (#237)

---
 .../parser/concrete2kore/generator/RuleGrammarGenerator.java   | 3 +++
 1 file changed, 3 insertions(+)

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
index 45d4ee350ee..ff27a9f6f86 100644
--- 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