fix ToString instance for Kind

[coq-hetmet.git] / src / HaskKinds.v

diff --git a/src/HaskKinds.v b/src/HaskKinds.v
index 583bb86..1452045 100644 (file)
--- a/src/HaskKinds.v
+++ b/src/HaskKinds.v
@@ -29,7 +29,7 @@ Fixpoint kindToString (k:Kind) : string :=
   | KindTypeFunction k1 k2       => "("+++kindToString k1+++")=>"+++kindToString k2
   | KindUnliftedType             => "#"
   | KindUnboxedTuple             => "(#)"
-  | KindArgType                  => "?"
+  | KindArgType                  => "??"
   | KindOpenType                 => "?"
   end.
 Instance KindToString : ToString Kind := { toString := kindToString }.