diff truffle/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/parser/NodeParser.java @ 22300:c53c4de22c4f

Truffle/DSL: fix and tests for multiple assumptions expressions
author Benoit Daloze <benoit.daloze@jku.at>
date Sat, 10 Oct 2015 14:48:47 +0200
parents dc83cc1f94f2
children 6cec0097107f
line wrap: on
line diff
--- a/truffle/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/parser/NodeParser.java	Sat Oct 10 13:22:36 2015 +0200
+++ b/truffle/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/parser/NodeParser.java	Sat Oct 10 14:48:47 2015 +0200
@@ -1159,6 +1159,7 @@
                 assumptionExpression.addError("Error parsing expression '%s': %s", assumption, e.getMessage());
             }
             assumptionExpressions.add(assumptionExpression);
+            assumptionId++;
         }
         specialization.setAssumptionExpressions(assumptionExpressions);
     }