diff options
Diffstat (limited to 'src/options/didyoumean.cpp')
| -rw-r--r-- | src/options/didyoumean.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/didyoumean.cpp b/src/options/didyoumean.cpp index 49e3a2270..998317bd9 100644 --- a/src/options/didyoumean.cpp +++ b/src/options/didyoumean.cpp @@ -15,7 +15,7 @@ * ``What do you mean? I don't understand.'' An attempt to be more * helpful than that. Similar to one in git. * - * There are no dependencies on CVC4 (except namespace). + * There are no dependencies on cvc5 (except namespace). */ #include "options/didyoumean.h" |