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 *)
Add Comment
Please, Sign In to add comment
