diff options
| author | Kathy Gray | 2013-12-10 22:32:02 +0000 |
|---|---|---|
| committer | Kathy Gray | 2013-12-10 22:32:02 +0000 |
| commit | d2628288f054e72fef2d5bbad24f1aac0f5d1db7 (patch) | |
| tree | 2047dcc2d0765b345cf7f9a519ab8af82a949f1e /language | |
| parent | 388f4a2e2299d2283d1d7179ea1722a907ef0759 (diff) | |
Fixed bug in interpreter
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.lem | 1 | ||||
| -rw-r--r-- | language/l2.ott | 1 |
2 files changed, 0 insertions, 2 deletions
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 |