From c7027a8d2843edf2f16203a40c5b9546024d58bc Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 26 Jun 2014 00:27:30 -0400
Subject: [PATCH] Add missing function definition.

---
 src/util/configuration.cpp | 4 ++++
 1 file changed, 4 insertions(+)

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;
 }
-- 
2.30.2