diff options
Diffstat (limited to 'src/expr/mkmetakind')
| -rwxr-xr-x | src/expr/mkmetakind | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind index 4dc2908a7..5f003dcfb 100755 --- a/src/expr/mkmetakind +++ b/src/expr/mkmetakind @@ -203,7 +203,9 @@ function parameterized { check_theory_seen register_metakind PARAMETERIZED "$1" "$3" - registerOperatorToKind "$1" "$2" + if ! expr "$2" : '\[.*\]' &>/dev/null; then + registerOperatorToKind "$1" "$2" + fi } function constant { |