SHARE
TWEET

Untitled

a guest Feb 18th, 2019 64 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. diff --git a/parsing/location.ml b/parsing/location.ml
  2. --- a/parsing/location.ml
  3. +++ b/parsing/location.ml
  4. @@ -61,7 +61,7 @@
  5.    loc_ghost = false;
  6.  };;
  7.  
  8. -let input_name = ref "_none_"
  9. +let input_name = ref ""
  10.  let input_lexbuf = ref (None : lexbuf option)
  11.  
  12.  (* Terminal info *)
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top