diff options
| author | Alasdair | 2020-09-29 16:23:40 +0100 |
|---|---|---|
| committer | Alasdair | 2020-09-29 16:32:24 +0100 |
| commit | 7441db19749fb7fb9383b6361dfbd99547e53486 (patch) | |
| tree | 779f90dbe139bce648540d517be84b156d92319e /src/interactive.ml | |
| parent | 6dbd0facf0962d869d0c3957f668b035a4a6605c (diff) | |
Refactor: Change AST type from a union to a struct
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 |