]> matita.cs.unibo.it Git - helm.git/blobdiff - components/syntax_extensions/pa_unicode_macro.ml
Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).
[helm.git] / components / syntax_extensions / pa_unicode_macro.ml
index dda7d4cabc852161144df5a893c1dfc253985d0e..436766862b714ba78af312270b60b669ef0c35f3 100644 (file)
 let debug = false
 let debug_print s = if debug then prerr_endline (Lazy.force s)
 
-let loc =
-  let dummy_pos =
-    { Lexing.pos_fname = ""; Lexing.pos_lnum = -1; Lexing.pos_bol = -1;
-      Lexing.pos_cnum = -1 }
-  in
-  (dummy_pos, dummy_pos)
+let loc = Stdpp.make_loc (-1, -1)
 
 let expand_unicode_macro macro =
   debug_print (lazy (Printf.sprintf "Expanding macro '%s' ..." macro));