Changes in src/CompilationState.h [62ce290:1bb9a9a]

File:

• src/CompilationState.h (modified) (2 diffs)

src/CompilationState.h

@@ -9 +9 @@
 // Author           : Rob Schluntz
 // Created On       : Mon Ju1 30 10:47:01 2018
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Fri May  3 13:43:21 2019
-// Update Count     : 4
+// Last Modified By : Rob Schluntz
+// Last Modified On : Mon Ju1 30 10:46:25 2018
+// Update Count     : 2
 //
 
 extern int yydebug;                   // set for -g flag (Grammar)
-extern int
+extern bool
         astp,
         bresolvep,
@@ -27 +27 @@
         libcfap,
         nopreludep,
-        genproto,
+        noprotop,
         nomainp,
         parsep,