From 2b58101cb9637349cd35d59c8a205df369b1d69e Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 27 Jul 2018 19:06:06 +0100
Subject: Remove unused U_effect constructor

---
 src/specialize.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/specialize.ml')

diff --git a/src/specialize.ml b/src/specialize.ml
index 0ac84e86..148b511c 100644
--- a/src/specialize.ml
+++ b/src/specialize.ml
@@ -162,7 +162,6 @@ let string_of_instantiation instantiation =
   let string_of_uvar = function
     | U_nexp n -> string_of_nexp n
     | U_order o -> string_of_order o
-    | U_effect eff -> string_of_effect eff
     | U_typ typ -> string_of_typ typ
   in
 
-- 
cgit v1.2.3