From 3311b7d4c5aeebacdbcd14602d7a8a75a9c1b258 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Tue, 21 Apr 2020 16:21:12 +0100
Subject: Fix build with OCaml 4.06.1

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

(limited to 'src')

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index c3d03f8b..8c10b63f 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -3348,7 +3348,7 @@ let rec rewrite_aux = function
      let open Spec_analysis in
      let depends1 = ids_in_exp exp1 in
      let assigned2 = IdSet.union (assigned_vars exp2) (bound_vars exp2) in
-     if IdSet.disjoint depends1 assigned2 then rewrite_exp (subst id exp1 exp2) else
+     if IdSet.is_empty (IdSet.inter depends1 assigned2) then rewrite_exp (subst id exp1 exp2) else
      E_aux (e_aux, annot)
   | e_aux, annot -> E_aux (e_aux, annot)
 
-- 
cgit v1.2.3