Get another file to build again

CakeML · Aug 6, 2020 · 6dff2f8 · 6dff2f8
1 parent 478cfe8
commit 6dff2f8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/compiler/proofs/compilerProofScript.sml b/compiler/proofs/compilerProofScript.sml
@@ -13,6 +13,8 @@ open preamble
 
 val _ = new_theory"compilerProof";
 
+val _ = diminish_srw_ss ["ABBREV"]
+
 val config_ok_def = Define`
   config_ok (cc:α compiler$config) mc ⇔
     env_rel prim_tenv cc.inferencer_config ∧