From da0db0a69a4e78841f9a8cf06ae4be17292bedbf Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 1 Mar 2014 16:16:14 +0100
Subject: Fixing bad comparison in Detyping.

---
 pretyping/detyping.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pretyping/detyping.ml b/pretyping/detyping.ml
index c29c443b69..c591101241 100644
--- a/pretyping/detyping.ml
+++ b/pretyping/detyping.ml
@@ -684,7 +684,7 @@ let rec subst_glob_constr subst raw =
     | _ -> knd
     in
     let nsolve = Option.smartmap (Hook.get f_subst_genarg subst) solve in
-    if nsolve == solve && nknd = knd then raw
+    if nsolve == solve && nknd == knd then raw
     else GHole (loc, nknd, nsolve)
 
   | GCast (loc,r1,k) ->
-- 
cgit v1.2.3