diff options
Diffstat (limited to 'src/expr/mkmetakind')
| -rwxr-xr-x | src/expr/mkmetakind | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind index cf3fb1e97..079bea861 100755 --- a/src/expr/mkmetakind +++ b/src/expr/mkmetakind @@ -75,10 +75,8 @@ function theory { fi theory_class=$1 - if [ "$1" != builtin ]; then - metakind_includes="${metakind_includes} + metakind_includes="${metakind_includes} // #include \"theory/$b/$2\"" - fi } function variable { |