diff options
| -rw-r--r-- | toplevel/topdirs.ml | 1 | ||||
| -rw-r--r-- | toplevel/topdirs.mli | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index a552ba744..ce6b19b05 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -29,6 +29,7 @@ let parse_toplevel_phrase = Toploop.parse_toplevel_phrase let parse_use_file = ref Parse.use_file let print_location = Location.print let print_warning = Location.print_warning +let input_name = Location.input_name (* Temporary assignment to a reference *) diff --git a/toplevel/topdirs.mli b/toplevel/topdirs.mli index 24fc569ef..f3bd62339 100644 --- a/toplevel/topdirs.mli +++ b/toplevel/topdirs.mli @@ -28,3 +28,4 @@ val parse_toplevel_phrase : (Lexing.lexbuf -> Parsetree.toplevel_phrase) ref val parse_use_file : (Lexing.lexbuf -> Parsetree.toplevel_phrase list) ref val print_location : Location.t -> unit val print_warning : Location.t -> string -> unit +val input_name : string ref |