diff options
Diffstat (limited to 'src/expr/mkkind')
-rwxr-xr-x | src/expr/mkkind | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/expr/mkkind b/src/expr/mkkind index c8ad61571..b0a8f4565 100755 --- a/src/expr/mkkind +++ b/src/expr/mkkind @@ -24,7 +24,6 @@ cat <<EOF ** $0 $@ ** ** for the CVC4 project. - ** **/ EOF |