Try to fix translation again

CakeML · Jul 5, 2023 · 2751040 · 2751040
1 parent 62b5acb
commit 2751040
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/binary/pure_backendProgScript.sml b/compiler/binary/pure_backendProgScript.sml
@@ -94,6 +94,7 @@ val r = translate thunk_to_envTheory.Lams_def;
 val r = translate thunk_to_envTheory.Apps_def;
 val r = translate thunk_to_envTheory.get_arg_def;
 val r = translate thunk_to_envTheory.remove_Delay_def;
+val r = translate thunk_to_envTheory.op_to_env_def;
 val r = translate thunk_to_envTheory.to_env_def;
 
 (* env_to_state *)