From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 8 Oct 2014 22:51:38 +0000 (-0400)
Subject: Remove private header from public driver.
X-Git-Tag: cvc5-1.0.0~6509^2~12
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d9cc527b3edb3ba39f076ce0b77327a473b89b88;p=cvc5.git

Remove private header from public driver.
---

diff --git a/src/main/main.cpp b/src/main/main.cpp
index e99095855..ca7266b59 100644
--- 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"