Commit b8c04f91 authored by Michael Hanus 's avatar Michael Hanus

Small fix for KiCS2

parent d2019fd7
......@@ -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]
])]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment