From 67f5c70a480c95cfb819fc68439781b5e5e95794 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 14 Dec 2012 15:56:25 +0000
Subject: Modulification of identifier

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

(limited to 'checker/typeops.ml')

diff --git a/checker/typeops.ml b/checker/typeops.ml
index ad05f96b7..129c242b9 100644
--- a/checker/typeops.ml
+++ b/checker/typeops.ml
@@ -395,7 +395,7 @@ let check_named_ctxt env ctxt =
     let _ =
       try
         let _ = lookup_named id env in
-        failwith ("variable "^string_of_id id^" defined twice")
+        failwith ("variable "^Id.to_string id^" defined twice")
       with Not_found -> () in
     match d with
         (_,None,ty) ->
-- 
cgit v1.2.3