X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fextlib%2FhExtlib.mli;h=aed9b240693cdd4a9621984ddec60d1bbc4356b6;hb=57d038849d866853795522e360723a881c2d4831;hp=c0538bfabc8c88eb332c945fdc5372035b5000c8;hpb=f4f050696e66b8604d9f0ff8173afe03addf74d6;p=helm.git

diff --git a/helm/ocaml/extlib/hExtlib.mli b/helm/ocaml/extlib/hExtlib.mli
index c0538bfab..aed9b2406 100644
--- a/helm/ocaml/extlib/hExtlib.mli
+++ b/helm/ocaml/extlib/hExtlib.mli
@@ -88,5 +88,8 @@ val set_profiling_printings : (unit -> bool) -> unit
 exception Localized of Token.flocation * exn
 
 val loc_of_floc: Token.flocation -> int * int
+val floc_of_loc: int * int -> Token.flocation
+
+val dummy_floc: Lexing.position * Lexing.position
 
 val raise_localized_exception: offset:int -> Token.flocation -> exn -> 'a