From 2c7bf65b9c256a0d9bc3e4a5dfdeb3c208da2d61 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Mon, 11 Nov 2013 10:22:47 +0000
Subject: Remove workaround for a bug fixed in Lem

---
 src/lem_interp/interp.lem     | 1 -
 src/lem_interp/interp_lib.lem | 1 -
 2 files changed, 2 deletions(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index a9f747da..2e8af9d3 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -2,7 +2,6 @@ open import Pervasives
 import Map
 import Map_extra
 import Maybe
-open import List (* because bug  inline lookup/lookupBy *)
 import List_extra
 
 open import Interp_ast
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 546cf143..192cd641 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -1,6 +1,5 @@
 open import Interp ;;
 import Maybe_extra
-open import List
 
 let add v = v ;;
 
-- 
cgit v1.2.3