aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
Diffstat (limited to 'frontend')
-rw-r--r--frontend/syntax.icl1
1 files changed, 0 insertions, 1 deletions
diff --git a/frontend/syntax.icl b/frontend/syntax.icl
index a71dc0b..1f78c2c 100644
--- a/frontend/syntax.icl
+++ b/frontend/syntax.icl
@@ -2135,7 +2135,6 @@ where
(<<<) file (TVI_TypeCode _) = file <<< "TVI_TypeCode"
(<<<) file (TVI_CPSLocalTypeVar _) = file <<< "TVI_CPSLocalTypeVar"
(<<<) file (TVI_Kinds _) = file <<< "TVI_Kinds"
- (<<<) file (TVI_TypeKind _) = file <<< "TVI_TypeKind"
(<<<) file (TVI_PropClass _ _ _) = file <<< "TVI_PropClass"
(<<<) file (TVI_TypeKind kind_info_ptr) = file <<< "TVI_TypeKind " <<< (ptrToInt kind_info_ptr)
(<<<) file (TVI_Kind kind) = file <<< "TVI_Kind" <<< kind