From 0b940fb7c599e2e47cc21a2708d4cae13cb1d934 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 17 Dec 2015 13:06:06 +0000
Subject: First bit of gluing mips onto interpreter and eventually ppcmem
 infrastructure

---
 language/l2.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'language/l2.lem')

diff --git a/language/l2.lem b/language/l2.lem
index dbfcb832..d097c902 100644
--- a/language/l2.lem
+++ b/language/l2.lem
@@ -7,7 +7,7 @@ open import Set_extra
 
 type l =
   | Unknown
-  | Int of string * l option (*internal types, functions*)
+  | Int of string * maybe l (*internal types, functions*)
   | Range of string * nat * nat * nat * nat
   | Generated of l (*location for a generated node, where l is the location of the closest original source*)
 
-- 
cgit v1.2.3