Permalink
Browse files

removed useless dep

  • Loading branch information...
1 parent e3f59ed commit 1e6052890adc4f8ca3bdfaffc6412a6d5adb8b03 @mwolf76 committed Jan 1, 2014
Showing with 0 additions and 1 deletion.
  1. +0 −1 src/witness/witness.hh
View
@@ -34,7 +34,6 @@
#include <model_mgr.hh>
#include <variant.hh>
-#include <sat.hh>
/** Exception classes */
class WitnessException : public Exception {

0 comments on commit 1e60528

Please sign in to comment.