From 84da9c0b4825abee124357a2b8e779965a9c7b30 Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Tue, 9 Apr 2019 11:14:31 -0500
Subject: Removing references to cvc4-bugs@... (#2945)

---
 configure.sh | 1 -
 1 file changed, 1 deletion(-)

(limited to 'configure.sh')

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
 }
-- 
cgit v1.2.3