diff options
Diffstat (limited to 'src/lem_interp/interp.lem')
| -rw-r--r-- | src/lem_interp/interp.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index cbde6e8b..cdfde00b 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -14,6 +14,7 @@ open import Instruction_extractor type tannot = Interp_utilities.tannot + val debug_print : string -> unit declare ocaml target_rep function debug_print s = `Printf.eprintf` "%s" s |