Fix warning about unknown escape sequence (#196)

diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h
index f989e40e5b508fbbbe58c8ba5be87b3662cc6604..93133be2418c059fb507d77a5f6f0737f5322981 100644 (file)
--- a/src/base/configuration_private.h
+++ b/src/base/configuration_private.h
@@ -151,7 +151,7 @@ compiled with " + ::CVC4::Configuration::getCompiler() + "\n\
 on " + ::CVC4::Configuration::getCompiledDateTime() + "\n\n\
 Copyright (c) 2009-2017\n\
 by the authors and their institutional affiliations listed at \n\
-http:\/\/cvc4.cs.stanford.edu/authors\n\n" + \
+http://cvc4.cs.stanford.edu/authors\n\n" + \
     ( IS_GPL_BUILD ? "\
 This build of CVC4 uses GPLed libraries, and is thus covered by the GNU\n\
 General Public License (GPL) version 3.  Versions of CVC4 are available\n\