diff options
Diffstat (limited to 'src/interactive.ml')
| -rw-r--r-- | src/interactive.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interactive.ml b/src/interactive.ml index d5d0fca4..20f16c6f 100644 --- a/src/interactive.ml +++ b/src/interactive.ml @@ -60,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 |