Changes in src/CompilationState.h [372b6d3:00da199]

File:

• src/CompilationState.h (modified) (3 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 : Mon Apr 10 19:12:53 2023
-// Update Count     : 6
+// Last Modified By : Henry Xue
+// Last Modified On : Tue Jul 20 04:27:35 2021
+// Update Count     : 5
 //
 
@@ -26 +26 @@
         expraltp,
         genericsp,
-        invariant,
         libcfap,
         nopreludep,
@@ -33 +32 @@
         useNewAST,
         nomainp,
+        parsep,
         resolvep,
         resolvprotop,