Version manual update

cvc5 · Aug 6, 2024 · a2ab9be · a2ab9be
1 parent 96002b8
commit a2ab9be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.cpp b/src/main.cpp
@@ -85,7 +85,7 @@ int main( int argc, char* argv[] )
     else if (arg=="--show-config")
     {
       std::stringstream out;
-      out << "This is ethos version 0.0." << std::endl;
+      out << "This is ethos version 0.1." << std::endl;
       out << std::endl;
       size_t w = 15;
       out << std::setw(w) << "tracing : ";