diff options
Diffstat (limited to 'src/interactive.ml')
| -rw-r--r-- | src/interactive.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/interactive.ml b/src/interactive.ml index cf5c955b..12a1be64 100644 --- a/src/interactive.ml +++ b/src/interactive.ml @@ -56,8 +56,6 @@ let env = ref Type_check.initial_env let ast = ref (Ast.Defs []) -let ir = ref [] - let arg str = ("<" ^ str ^ ">") |> Util.yellow |> Util.clear |