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
 }