diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-07-15 16:20:01 -0400 |
---|---|---|
committer | Clark Barrett <barrett@cs.stanford.edu> | 2017-07-15 13:20:01 -0700 |
commit | 9197b224c797df44753612efb0d52087789ec772 (patch) | |
tree | c2819aacaa0796d9ed01940607dfa5d300eb7f00 /src/base/configuration_private.h | |
parent | 151df601b2677afd2baa31fd3e9ec01eea29bec2 (diff) |
Fix warning about unknown escape sequence (#196)
Diffstat (limited to 'src/base/configuration_private.h')
-rw-r--r-- | src/base/configuration_private.h | 2 |
1 files changed, 1 insertions, 1 deletions
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\ |