From 2751040f64cdea2d076783372eb960bba50b55d8 Mon Sep 17 00:00:00 2001 From: Hrutvik Kanabar Date: Wed, 5 Jul 2023 20:57:43 +0100 Subject: [PATCH] Try to fix translation again --- compiler/binary/pure_backendProgScript.sml | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/binary/pure_backendProgScript.sml b/compiler/binary/pure_backendProgScript.sml index de98c12d..150b3886 100644 --- 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 *)