cvc4 --show-config now gives library version

diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp
index 64958519c66129e1267630a83f39534b285c873e..cd952eef920ddbbff9c9efc5b15e681756fc0905 100644 (file)
--- a/src/main/getopt.cpp
+++ b/src/main/getopt.cpp
@@ -207,6 +207,11 @@ throw(OptionException) {
       printf("\n");
       printf("version   : %s\n", Configuration::getVersionString().c_str());
       printf("\n");
+      printf("library   : %u.%u.%u\n",
+             Configuration::getVersionMajor(),
+             Configuration::getVersionMinor(),
+             Configuration::getVersionRelease());
+      printf("\n");
       printf("debug code: %s\n", Configuration::isDebugBuild() ? "yes" : "no");
       printf("tracing   : %s\n", Configuration::isTracingBuild() ? "yes" : "no");
       printf("muzzled   : %s\n", Configuration::isMuzzledBuild() ? "yes" : "no");