Add missing function definition.

diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index 60ee86b363246ffe4498a79b3004a22df0f7dd65..5bd607d948688ab53fcbfcdf3aa581a2f34a501c 100644 (file)
--- a/src/util/configuration.cpp
+++ b/src/util/configuration.cpp
@@ -113,6 +113,10 @@ std::string Configuration::about() {
   return CVC4_ABOUT_STRING;
 }
 
+bool Configuration::licenseIsGpl() {
+  return IS_GPL_BUILD;
+}
+
 bool Configuration::isBuiltWithGmp() {
   return IS_GMP_BUILD;
 }