From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 26 Jun 2014 04:27:30 +0000 (-0400)
Subject: Add missing function definition.
X-Git-Tag: cvc5-1.0.0~6724
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c7027a8d2843edf2f16203a40c5b9546024d58bc;p=cvc5.git

Add missing function definition.
---

diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index 60ee86b36..5bd607d94 100644
--- 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;
 }