1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp
index 2daead11b..7f515c58b 100644
--- a/src/main/getopt.cpp
+++ b/src/main/getopt.cpp
@@ -25,6 +25,7 @@
 #include "util/exception.h"
 #include "usage.h"
 #include "about.h"
+#include "util/output.h"
 
 using namespace std;
 using namespace CVC4;
@@ -66,7 +67,7 @@ int parseOptions(int argc, char** argv, CVC4::Options* opts) throw(OptionExcepti
     progName = x + 1;
   opts->binary_name = string(progName);
 
-  while((c = getopt_long(argc, argv, "+:hVvqL:", cmdlineOptions, NULL)) != -1) {
+  while((c = getopt_long(argc, argv, "+:hVvqL:d:", cmdlineOptions, NULL)) != -1) {
     switch(c) {
 
     case 'h':
@@ -104,6 +105,9 @@ int parseOptions(int argc, char** argv, CVC4::Options* opts) throw(OptionExcepti
       fputs(lang_help, stdout);
       exit(1);
 
+    case 'd':
+      Debug.on(optarg);
+
     case STATS:
       opts->statistics = true;
       break;