1 files changed, 4 insertions, 0 deletions
diff --git a/src/util/options.h b/src/util/options.h
index c504177bf..9bb0b0a38 100644
--- a/src/util/options.h
+++ b/src/util/options.h
@@ -65,6 +65,9 @@ struct CVC4_PUBLIC Options {
   /** Should we strictly enforce the language standard while parsing? */
   bool strictParsing;
 
+  /** Should we expand function definitions lazily? */
+  bool lazyDefinitionExpansion;
+
   /** Whether we're in interactive mode or not */
   bool interactive;
 
@@ -86,6 +89,7 @@ struct CVC4_PUBLIC Options {
     semanticChecks(true),
     memoryMap(false),
     strictParsing(false),
+    lazyDefinitionExpansion(false),
     interactive(false),
     interactiveSetByUser(false) {
   }