From d2628288f054e72fef2d5bbad24f1aac0f5d1db7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 10 Dec 2013 22:32:02 +0000
Subject: Fixed bug in interpreter

---
 language/l2.lem | 1 -
 language/l2.ott | 1 -
 2 files changed, 2 deletions(-)

(limited to 'language')

diff --git a/language/l2.lem b/language/l2.lem
index 8e56f69e..f3840866 100644
--- a/language/l2.lem
+++ b/language/l2.lem
@@ -3,7 +3,6 @@ open import Pervasives
 
 open import Map
 open import Maybe
-open import Pervasives
 
 type l =
   | Unknown
diff --git a/language/l2.ott b/language/l2.ott
index b3a3f8b8..a8da9ab6 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -53,7 +53,6 @@ embed
 {{ lem
 open import Map
 open import Maybe
-open import Pervasives
 
 type l =
   | Unknown
-- 
cgit v1.2.3