Huge reorganization of matita and ocaml.

[helm.git] / helm / ocaml / extlib / hExtlib.mli

diff --git a/helm/ocaml/extlib/hExtlib.mli b/helm/ocaml/extlib/hExtlib.mli
index c0538bfabc8c88eb332c945fdc5372035b5000c8..aed9b240693cdd4a9621984ddec60d1bbc4356b6 100644 (file)
--- 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