Get another file to build again

CakeML · Aug 6, 2020 · bf4894f · bf4894f
1 parent 6dff2f8
commit bf4894f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/candle/set-theory/setModelScript.sml b/candle/set-theory/setModelScript.sml
@@ -6,6 +6,10 @@ open preamble bitTheory setSpecTheory
 
 val _ = new_theory"setModel"
 
+val _ = temp_delsimps ["NORMEQ_CONV"]
+val _ = diminish_srw_ss ["ABBREV"]
+val _ = set_trace "BasicProvers.var_eq_old" 1
+
 val is_set_theory_pred_def = Define`
   is_set_theory_pred is_v_rep in_rep ⇔
    (∃x. is_v_rep x) ∧