Fixed level choice in aggr.

souffle-lang · Dec 2, 2020 · fe98c95 · fe98c95
1 parent 2a8dd7c
commit fe98c95
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/ast2ram/ClauseTranslator.cpp b/src/ast2ram/ClauseTranslator.cpp
@@ -294,7 +294,7 @@ Own<ram::Operation> ClauseTranslator::instantiateMultiResultFunctor(
 }
 
 Own<ram::Operation> ClauseTranslator::addGeneratorLevels(Own<ram::Operation> op) const {
-    size_t curLevel = 0;
+    size_t curLevel = operators.size() + generators.size() - 1;
     for (const auto* generator : reverse(generators)) {
         if (auto agg = dynamic_cast<const ast::Aggregator*>(generator)) {
             op = instantiateAggregator(std::move(op), agg, curLevel);
@@ -303,6 +303,7 @@ Own<ram::Operation> ClauseTranslator::addGeneratorLevels(Own<ram::Operation> op)
         } else {
             assert(false && "unhandled generator");
         }
+        curLevel--;
     }
     return op;
 }