Remove private header from public driver.

diff --git a/src/main/main.cpp b/src/main/main.cpp
index e99095855de5d2ddb280664acdd6ecadf5e2c438..ca7266b59ac55fe588efc237ba41a8b65fd0de66 100644 (file)
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -33,7 +33,6 @@
 #include "expr/command.h"
 #include "util/configuration.h"
 #include "main/options.h"
-#include "theory/uf/options.h"
 #include "util/output.h"
 #include "util/result.h"
 #include "util/statistics.h"