From 99d953ef36f5e587c623736fb960d821b4d2b6f7 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 16 Feb 2004 16:12:41 +0000
Subject: Erreur dépendance en Util lui-même

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5351 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/util.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/util.ml b/lib/util.ml
index 89e8a7b84a..f57b9a6dbc 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -34,7 +34,7 @@ let join_loc (deb1,_) (_,fin2) = (deb1,fin2)
 (* Like Exc_located, but specifies the outermost file read, the filename
    associated to the location of the error, and the error itself. *)
 
-exception Error_in_file of string * (bool * string * Util.loc) * exn
+exception Error_in_file of string * (bool * string * loc) * exn
 
 (* Projections from triplets *)
 
-- 
cgit v1.2.3