From bc6b51d70a783df161f8fb43264ea1558ff37bac Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 16 Jan 2020 19:14:22 +0000
Subject: Allow effects on mappings

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

(limited to 'src/slice.ml')

diff --git a/src/slice.ml b/src/slice.ml
index a38a207c..c249fb5a 100644
--- a/src/slice.ml
+++ b/src/slice.ml
@@ -130,7 +130,7 @@ and typ_ids' (Typ_aux (aux, _)) =
      IdSet.add id (List.fold_left IdSet.union IdSet.empty (List.map typ_arg_ids' args))
   | Typ_fn (typs, typ, _) ->
      IdSet.union (typ_ids' typ) (List.fold_left IdSet.union IdSet.empty (List.map typ_ids' typs))
-  | Typ_bidir (typ1, typ2) ->
+  | Typ_bidir (typ1, typ2, _) ->
      IdSet.union (typ_ids' typ1) (typ_ids' typ2)
   | Typ_tup typs ->
      List.fold_left IdSet.union IdSet.empty (List.map typ_ids' typs)
-- 
cgit v1.2.3