From 2834d0a0299416114317d21a700c0ff7d5341996 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 18 May 2004 04:37:21 +0000
Subject: [PATCH] Need {} around case statements because we define
 variables...C++ is lame.

---
 Repair/RepairCompiler/MCC/IR/RepairGenerator.java | 2 ++
 1 file changed, 2 insertions(+)

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("}");
-- 
2.34.1