From fe6e2c0a026f063876203ff73594e45fc80d555f Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 16 Mar 2016 15:40:28 +0000
Subject: more small fixes

---
 src/parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/parser.mly b/src/parser.mly
index 6ecffd68..8868340d 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -1247,7 +1247,7 @@ def:
   | type_def
       { dloc (DEF_type($1)) }
   | ktype_def
-      { assert false }
+      { dloc (DEF_kind($1)) }
   | fun_def
     { dloc (DEF_fundef($1)) }
   | letbind
-- 
cgit v1.2.3