diff options
Diffstat (limited to 'examples/api/cpp/helloworld.cpp')
-rw-r--r-- | examples/api/cpp/helloworld.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/cpp/helloworld.cpp b/examples/api/cpp/helloworld.cpp index 21eb8e8fc..3d11d1bd0 100644 --- a/examples/api/cpp/helloworld.cpp +++ b/examples/api/cpp/helloworld.cpp @@ -10,7 +10,7 @@ * directory for licensing information. * **************************************************************************** * - * A very simple CVC4 example. + * A very simple cvc5 example. */ #include <cvc5/cvc5.h> |