1 files changed, 5 insertions, 1 deletions
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index 211a1127b..8942c049b 100644
--- a/src/util/configuration.cpp
+++ b/src/util/configuration.cpp
@@ -190,7 +190,7 @@ string Configuration::getSubversionId() {
   return ss.str();
 }
 
-string Configuration::getCompiler() {
+std::string Configuration::getCompiler() {
   stringstream ss;
 #ifdef __GNUC__
   ss << "GCC";
@@ -205,4 +205,8 @@ string Configuration::getCompiler() {
   return ss.str();
 }
 
+std::string Configuration::getCompiledDateTime() {
+  return __DATE__ " " __TIME__;
+}
+
 }/* CVC4 namespace */