From 9489721652bb443b5ed680701d94283737038f0b Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 25 Nov 2012 17:39:04 +0000
Subject: Monomorphization (parsing)

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

(limited to 'parsing/g_xml.ml4')

diff --git a/parsing/g_xml.ml4 b/parsing/g_xml.ml4
index 377da0bdf..e1a43c400 100644
--- a/parsing/g_xml.ml4
+++ b/parsing/g_xml.ml4
@@ -30,7 +30,7 @@ type attribute = string * (Loc.t * string)
 type xml = XmlTag of Loc.t * string * attribute list * xml list
 
 let check_tags loc otag ctag =
-  if otag <> ctag then
+  if not (String.equal otag ctag) then
     user_err_loc (loc,"",str "closing xml tag " ++ str ctag ++
       str "does not match open xml tag " ++ str otag ++ str ".")
 
-- 
cgit v1.2.3