From 11ca3113365639136cf65a74c345080a9434e69b Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 27 Sep 2013 19:20:27 +0000
Subject: Removing a bunch of generic equalities.

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

(limited to 'library/summary.ml')

diff --git a/library/summary.ml b/library/summary.ml
index d1bbf7191..af4deb40f 100644
--- a/library/summary.ml
+++ b/library/summary.ml
@@ -71,7 +71,7 @@ let unfreeze_summaries fs =
   with Not_found -> anomaly (str"Undeclared summary "++str ml_modules_summary));
   Hashtbl.iter
     (fun id decl ->
-       if id = ml_modules_summary then () (* already unfreezed *)
+       if String.equal id ml_modules_summary then () (* already unfreezed *)
        else
          try decl.unfreeze_function (String.Map.find id fs)
          with Not_found -> decl.init_function())
-- 
cgit v1.2.3