From 424a0b0ba748cc859cef8bfff06d6267081f7510 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= <ligo@suzanne.soy>
Date: Wed, 3 Jun 2020 01:31:33 +0100
Subject: [PATCH] Bugfix: equality

---
 src/stages/typesystem/misc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/stages/typesystem/misc.ml b/src/stages/typesystem/misc.ml
index 389f93e89..070a502ff 100644
--- a/src/stages/typesystem/misc.ml
+++ b/src/stages/typesystem/misc.ml
@@ -230,7 +230,7 @@ module Substitution = struct
       | P_forall p -> (
           let aux c = constraint_ ~c ~substs in
           let constraints = List.map aux p.constraints in
-          if (p.binder = v) then (
+          if (Var.equal p.binder v) then (
             { tsrc = "?TODO3?" ; t = P_forall { p with constraints } }
           ) else (
             let body = self p.body in