From b8c04f91f62161ff9064d7ae331d11feebe6608e Mon Sep 17 00:00:00 2001
From: Michael Hanus <mh@informatik.uni-kiel.de>
Date: Mon, 8 Oct 2018 16:59:41 +0200
Subject: [PATCH] Small fix for KiCS2

---
 src/CurryCheck.curry | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/CurryCheck.curry b/src/CurryCheck.curry
index 240c54c..ae20018 100644
--- a/src/CurryCheck.curry
+++ b/src/CurryCheck.curry
@@ -288,7 +288,8 @@ genTestFuncs opts terminating productivity mainmod tm =
                             [if isPAKCS || useUserDefinedGen t || isFloatType t
                              then type2genop mainmod tm genpart t
                              else applyF (searchTreeModule,"someSearchTree")
-                                         [constF (pre "unknown")]])
+                                         [CTyped (constF (pre "unknown"))
+                                                 (emptyClassType t)]])
                          argtypes) ++
                     [propexp]
                  ])]
-- 
GitLab