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 631f73a89..f7f6ba836 100755 --- a/src/expr/mkkind +++ b/src/expr/mkkind @@ -74,7 +74,7 @@ function theory { theory_id="$1" theory_enum="$1, - ${theory_enum}" + ${theory_enum}" theory_descriptions="${theory_descriptions} case ${theory_id}: out << \"${theory_id}\"; break; " } |