diff options
Diffstat (limited to 'toplevel/toplevel.ml')
| -rw-r--r-- | toplevel/toplevel.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/toplevel/toplevel.ml b/toplevel/toplevel.ml index 33f8e488f..399134d11 100644 --- a/toplevel/toplevel.ml +++ b/toplevel/toplevel.ml @@ -237,13 +237,10 @@ let print_toplevel_error exc = (if is_pervasive_exn exc then (mt ()) else locstrm) ++ Cerrors.explain_exn exc -let is_term s = - if !Options.v7 then s="." else s=";" - (* Read the input stream until a dot is encountered *) let parse_to_dot = let rec dot st = match Stream.next st with - | ("", c) when is_term c -> () + | ("", ".") -> () | ("EOI", "") -> raise End_of_input | _ -> dot st in |