diff options
Diffstat (limited to 'src/interactive.ml')
| -rw-r--r-- | src/interactive.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/interactive.ml b/src/interactive.ml index 93df1dc0..20f16c6f 100644 --- a/src/interactive.ml +++ b/src/interactive.ml @@ -49,6 +49,7 @@ (**************************************************************************) open Ast +open Ast_defs open Ast_util open Printf @@ -59,7 +60,7 @@ let opt_auto_interpreter_rewrites = ref false let env = ref Type_check.initial_env -let ast = ref (Defs []) +let ast = ref empty_ast let arg str = ("<" ^ str ^ ">") |> Util.yellow |> Util.clear |