diff options
| author | Thomas Bauereiss | 2020-04-21 16:21:12 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-21 16:21:12 +0100 |
| commit | 3311b7d4c5aeebacdbcd14602d7a8a75a9c1b258 (patch) | |
| tree | 20a77d9fbc173cac6582640f1b8cbc2002493b50 /src | |
| parent | 2882405391abb9facc0b0019fdd265c2855f2f35 (diff) | |
Fix build with OCaml 4.06.1
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) |