From 30dac09494d8e8506d5aced8cb0eb22f91616b92 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= <georges.duperon@nomadic-labs.com>
Date: Fri, 6 Dec 2019 18:31:00 +0100
Subject: [PATCH] typer: bugfix: use "String.equal", not "="

---
 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 d3ed3627b..7502a5fee 100644
--- a/src/stages/typesystem/misc.ml
+++ b/src/stages/typesystem/misc.ml
@@ -274,7 +274,7 @@ module Substitution = struct
       let self tv = type_value ~tv ~substs in
       let (v, expr) = substs in
       match tv with
-      | P_variable v' when v' = v -> expr
+      | P_variable v' when String.equal v' v -> expr
       | P_variable _ -> tv
       | P_constant (x , lst) -> (
           let lst' = List.map self lst in