diff options
Diffstat (limited to 'src/interactive.ml')
| -rw-r--r-- | src/interactive.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interactive.ml b/src/interactive.ml index 0fad3caf..2cca944c 100644 --- a/src/interactive.ml +++ b/src/interactive.ml @@ -51,7 +51,7 @@ open Ast open Ast_util open Printf - + let opt_interactive = ref false let opt_emacs_mode = ref false let opt_suppress_banner = ref false @@ -72,7 +72,7 @@ type action = | Action of (unit -> unit) let commands = ref [] - + let reflect_typ action = let open Type_check in let rec arg_typs = function |