From: bdemsky <bdemsky>
Date: Tue, 18 May 2004 04:37:21 +0000 (+0000)
Subject: Need {} around case statements because we define variables...C++ is lame.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2834d0a0299416114317d21a700c0ff7d5341996;p=repair.git

Need {} around case statements because we define variables...C++ is lame.
---

diff --git a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
index d8da176..1114e1a 100755
--- a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
+++ b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
@@ -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("}");