From 7719416c6698cdc49b7a0d2d62b4472ef815a487 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 4 Oct 2010 04:20:19 +0000 Subject: remove/shuffle some #include dependencies; fix some documentation; apply coding standards --- src/util/decision_engine.cpp | 1 - 1 file changed, 1 deletion(-) (limited to 'src/util/decision_engine.cpp') diff --git a/src/util/decision_engine.cpp b/src/util/decision_engine.cpp index 1ef2440c9..210391555 100644 --- a/src/util/decision_engine.cpp +++ b/src/util/decision_engine.cpp @@ -17,7 +17,6 @@ #include "util/decision_engine.h" #include "util/Assert.h" -#include "expr/node.h" namespace CVC4 { -- cgit v1.2.3