From 8d58fba703fcb1cfddd2a78a0b157a087bcf2a5b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 21 Nov 2008 16:16:52 +0000 Subject: [PATCH] according to camlp5 sources, the dummy loc should be 0,0 and not -1,-1 --- helm/software/components/extlib/hExtlib.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/extlib/hExtlib.ml b/helm/software/components/extlib/hExtlib.ml index 361587b7d..3fe5c0a7d 100644 --- a/helm/software/components/extlib/hExtlib.ml +++ b/helm/software/components/extlib/hExtlib.ml @@ -464,7 +464,7 @@ let loc_of_floc floc = Stdpp.first_pos floc, Stdpp.last_pos floc;; let floc_of_loc (loc_begin, loc_end) = Stdpp.make_loc (loc_begin, loc_end) -let dummy_floc = floc_of_loc (-1, -1) +let dummy_floc = floc_of_loc (0, 0) let raise_localized_exception ~offset floc exn = let x, y = loc_of_floc floc in -- 2.39.2