diff options
Diffstat (limited to 'src/expr/mkkind')
| -rwxr-xr-x | src/expr/mkkind | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/mkkind b/src/expr/mkkind index a8a74b5a6..8e45b94ba 100755 --- a/src/expr/mkkind +++ b/src/expr/mkkind @@ -274,7 +274,7 @@ function register_sort { fi else type_constant_groundterms="${type_constant_groundterms}#line $lineno \"$kf\" - case $id: Unhandled(tc); + case $id: Unhandled() << tc; " fi } @@ -323,7 +323,7 @@ function register_wellfoundedness { " else type_groundterms="${type_groundterms}#line $lineno \"$kf\" - case $id: Unhandled(typeNode); + case $id: Unhandled() << typeNode; " fi if [ -n "$header" ]; then |