From bf08866eabad4408de975bae92f3b3c1f718322c Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 18 Sep 2012 15:06:42 +0000
Subject: More cleanup of Util: utf8 aspects moved to a new file unicode.ml

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15818 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/names.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/names.ml b/kernel/names.ml
index aa5313842d..599e8fb126 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -29,9 +29,9 @@ type identifier = string
 let check_ident_soft x =
   Option.iter (fun (fatal,x) ->
       if fatal then error x else Pp.msg_warning (str x))
-    (ident_refutation x)
+    (Unicode.ident_refutation x)
 let check_ident x =
-  Option.iter (fun (_,x) -> Errors.error x) (ident_refutation x)
+  Option.iter (fun (_,x) -> Errors.error x) (Unicode.ident_refutation x)
 
 let id_of_string s = check_ident_soft s; String.copy s
 let string_of_id id = String.copy id
-- 
cgit v1.2.3