From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Sat, 15 Jul 2017 20:20:01 +0000 (-0400)
Subject: Fix warning about unknown escape sequence (#196)
X-Git-Tag: cvc5-1.0.0~5719
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9197b224c797df44753612efb0d52087789ec772;p=cvc5.git

Fix warning about unknown escape sequence (#196)
---

diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h
index f989e40e5..93133be24 100644
--- 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\