diff options
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index e53d8caa7..9bf33ae8a 100755 --- a/configure.sh +++ b/configure.sh @@ -74,7 +74,6 @@ Optional Path to Optional Packages: --lfsc-dir=PATH path to top level of LFSC source tree --symfpu-dir=PATH path to top level of SymFPU source tree -Report bugs to <cvc4-bugs@cs.stanford.edu>. EOF exit 0 } |