diff options
Diffstat (limited to 'src/expr/mkkind')
| -rwxr-xr-x | src/expr/mkkind | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/mkkind b/src/expr/mkkind index 8e45b94ba..fbf37eff4 100755 --- a/src/expr/mkkind +++ b/src/expr/mkkind @@ -341,7 +341,7 @@ function register_kind { kind_decls="${kind_decls} $r, /**< $comment ($register_kind_counter) */ " - kind_printers="${kind_printers} case $r: out << \"$r\"; break; + kind_printers="${kind_printers} case $r: return \"$r\"; " kind_to_theory_id="${kind_to_theory_id} case kind::$r: return $theory_id; " |