Changes in src/main.cc [8686f31:de62360d]

File:

• src/main.cc (modified) (3 diffs)

src/main.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Fri May 15 23:12:02 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Mon Jul 06 15:01:26 2015
-// Update Count     : 79
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Jun 22 17:02:11 2015
+// Update Count     : 73
 //
 
@@ -277 +277 @@
                 GenPoly::box( translationUnit );
 
-                // print tree right before code generation
+    // print the tree right before code generation
                 if ( codegenp ) {
                         printAll( translationUnit, std::cout );
@@ -283 +283 @@
                 } // if
 
-                CodeGen::generate( translationUnit, *output, true ); //protop );
+                CodeGen::generate( translationUnit, *output, protop );
 
                 if ( output != &std::cout ) {