X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FStandardCodeWriter.java;h=f60a00765c7dfa16d04614a07dfc70a1d417a6d7;hp=b162f72863e31d67c036498b0f4518000751eddb;hb=88619f43247063e21c6a01d31484c612fa3c95b3;hpb=b63f5f1f7c6292259d7e322f4b89b8cf43891f0d

diff --git a/Repair/RepairCompiler/MCC/IR/StandardCodeWriter.java b/Repair/RepairCompiler/MCC/IR/StandardCodeWriter.java
index b162f72..f60a007 100755
--- a/Repair/RepairCompiler/MCC/IR/StandardCodeWriter.java
+++ b/Repair/RepairCompiler/MCC/IR/StandardCodeWriter.java
@@ -27,7 +27,6 @@ public class StandardCodeWriter implements CodeWriter {
     
     public void unindent() { 
         indent--; 
-        assert indent >= 0; 
     }
     
     private void doindent() {