From bd41ade5f0eee5afe8bc7f6c7c3ca76f1fa296b4 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <nafur42@gmail.com>
Date: Thu, 7 Oct 2021 07:51:09 -0700
Subject: Add new versioning scheme (#7253)

This introduces a new versioning mechanism that allows for better automation.
---
 src/main/driver_unified.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main')

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index d6a6f9331..4e92584a8 100644
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -189,7 +189,7 @@ int runCvc5(int argc, char* argv[], std::unique_ptr<api::Solver>& solver)
                     << Configuration::getVersionString();
       if (Configuration::isGitBuild())
       {
-        CVC5Message() << " [" << Configuration::getGitId() << "]";
+        CVC5Message() << " [" << Configuration::getGitInfo() << "]";
       }
       CVC5Message() << (Configuration::isDebugBuild() ? " DEBUG" : "")
                     << " assertions:"
-- 
cgit v1.2.3