Need {} around case statements because we define variables...C++ is lame.
authorbdemsky <bdemsky>
Tue, 18 May 2004 04:37:21 +0000 (04:37 +0000)
committerbdemsky <bdemsky>
Tue, 18 May 2004 04:37:21 +0000 (04:37 +0000)
Repair/RepairCompiler/MCC/IR/RepairGenerator.java

index d8da176..1114e1a 100755 (executable)
@@ -796,6 +796,7 @@ public class RepairGenerator {
                    if (removed.contains(gn))
                        continue;
                    cr.outputline("case "+j+":");
+                   cr.startblock();
                    for(int k=0;k<conj.size();k++) {
                        DNFPredicate dpred=conj.get(k);
                        Predicate p=dpred.getPredicate();
@@ -819,6 +820,7 @@ public class RepairGenerator {
                        cr.endblock();
                    }
                    /* Update model */
+                   cr.endblock();
                    cr.outputline("break;");
                }
                cr.outputline("}");