2 files changed, 4 insertions, 0 deletions
diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp
index f154e5c90..79b0bff9c 100644
--- a/src/base/configuration.cpp
+++ b/src/base/configuration.cpp
@@ -250,6 +250,8 @@ bool Configuration::isBuiltWithCryptominisat() {
   return IS_CRYPTOMINISAT_BUILD;
 }
 
+bool Configuration::isBuiltWithDrat2Er() { return IS_DRAT2ER_BUILD; }
+
 bool Configuration::isBuiltWithReadline() {
   return IS_READLINE_BUILD;
 }
diff --git a/src/base/configuration.h b/src/base/configuration.h
index b6e2a1963..7900e877e 100644
--- a/src/base/configuration.h
+++ b/src/base/configuration.h
@@ -97,6 +97,8 @@ public:
 
   static bool isBuiltWithCryptominisat();
 
+  static bool isBuiltWithDrat2Er();
+
   static bool isBuiltWithReadline();
 
   static bool isBuiltWithLfsc();