X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fsyntax_extensions%2Fpa_unicode_macro.ml;h=436766862b714ba78af312270b60b669ef0c35f3;hb=c40f6b8c6e102846328a1ff10717eb001c2c827a;hp=dda7d4cabc852161144df5a893c1dfc253985d0e;hpb=58955ec841575330f0b429033264f9ec7df319f9;p=helm.git

diff --git a/helm/software/components/syntax_extensions/pa_unicode_macro.ml b/helm/software/components/syntax_extensions/pa_unicode_macro.ml
index dda7d4cab..436766862 100644
--- a/helm/software/components/syntax_extensions/pa_unicode_macro.ml
+++ b/helm/software/components/syntax_extensions/pa_unicode_macro.ml
@@ -28,12 +28,7 @@
 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));