From 2580caa031dac586a903b235ed0a624d690f7a41 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 5 Aug 2014 13:29:08 +0100
Subject: missed file from last commit

---
 src/lexer.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lexer.mll b/src/lexer.mll
index f7cd1272..5b18026b 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -121,7 +121,7 @@ let kw_table =
 
 ]
 
-let default_type_names = ["bool";"unit";"vector";"range";"list";"bit";"nat"; "uint8";"uint16";"uint32";"uint64"]
+let default_type_names = ["bool";"unit";"vector";"range";"list";"bit";"nat"; "uint8";"uint16";"uint32";"uint64";"implicit"]
 let custom_type_names : string list ref = ref []
 
 }
-- 
cgit v1.2.3