Fix baby/bathwater ratio in grammar ancestry "cleanup"

CakeML · Mar 14, 2023 · ffffabd · ffffabd
1 parent b402530
commit ffffabd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/backend/proofs/backendProofScript.sml b/compiler/backend/proofs/backendProofScript.sml
@@ -28,6 +28,7 @@ val _ = set_trace "BasicProvers.var_eq_old" 1
 val _ = Parse.set_grammar_ancestry
   [ "backend", "backend_common", "backendProps",
     "primSemEnv", "semanticsProps",
+    "labProps",
     "source_evalProof" (* for compiler instance structure *)
   ];