diff options
Diffstat (limited to 'src/util/configuration.cpp')
-rw-r--r-- | src/util/configuration.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp index c1b7acd71..403f6f84b 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -12,7 +12,7 @@ ** information.\endverbatim ** ** \brief Implementation of Configuration class, which provides compile-time - ** configuration information about the CVC4 library. + ** configuration information about the CVC4 library ** ** Implementation of Configuration class, which provides compile-time ** configuration information about the CVC4 library. |