diff options
Diffstat (limited to 'src/util/utility.h')
-rw-r--r-- | src/util/utility.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/utility.h b/src/util/utility.h index 4f7bfd8e5..3958ff166 100644 --- a/src/util/utility.h +++ b/src/util/utility.h @@ -10,7 +10,7 @@ * directory for licensing information. * **************************************************************************** * - * Some standard STL-related utility functions for CVC4. + * Some standard STL-related utility functions for cvc5. */ #include "cvc5_private.h" |