a guest Feb 18th, 2019 63 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- diff --git a/parsing/location.ml b/parsing/location.ml
- --- a/parsing/location.ml
- +++ b/parsing/location.ml
- @@ -61,7 +61,7 @@
- loc_ghost = false;
- -let input_name = ref "_none_"
- +let input_name = ref ""
- let input_lexbuf = ref (None : lexbuf option)
- (* Terminal info *)
RAW Paste Data