Left debug flag on...oops

uwplse · Sep 3, 2016 · 27e6bb1 · 27e6bb1
1 parent 58e67b9
commit 27e6bb1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/src/casper/visit/GenerateScaffold.java b/compiler/src/casper/visit/GenerateScaffold.java
@@ -572,7 +572,7 @@ public NodeVisitor enter(Node parent, Node n){
 							generateScaffold(sketchInputVars, sketchFilteredOutputVars, sketchLoopCounters, n, var.type);
 
 							/* Run synthesizer to generate summary */
-							int exitCode = 0;//runSynthesizer("output/main_"+var.type.replace("["+Configuration.arraySizeBound+"]","")+id+".sk",var.type,ext);
+							int exitCode = runSynthesizer("output/main_"+var.type.replace("["+Configuration.arraySizeBound+"]","")+id+".sk",var.type,ext);
 							if(exitCode == 0){
 								/* Run theorem prover to verify summary */
 								verifySummary("output/main_"+var.type.replace("["+Configuration.arraySizeBound+"]","")+id+".dfy", n, ext, sketchInputVars, sketchFilteredOutputVars, sketchLoopCounters, var.type);