Try to fix translation

CakeML · Jul 5, 2023 · 62b5acb · 62b5acb
1 parent 6ab836a
commit 62b5acb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/compiler/binary/pure_backendProgScript.sml b/compiler/binary/pure_backendProgScript.sml
@@ -63,10 +63,12 @@ val r = translate thunk_let_forceTheory.let_force_def;
 val r = translate thunk_let_forceTheory.simp_let_force_def;
 
 val r = translate pure_to_thunkTheory.mk_delay_def;
-val r = translate pure_to_thunkTheory.must_delay_def;
 val r = translate pure_to_thunkTheory.any_el_def;
 val r = translate pure_to_thunkTheory.get_var_name_def;
 val r = translate MAP2_DEF;
+val r = translate mop_of_mlstring_def;
+val r = translate delay_arg_def;
+val r = translate monad_to_thunk_def;
 val r = translate_no_ind pure_to_thunkTheory.to_thunk_def;
 
 Triviality to_thunk_ind: