backout changes

[satune.git] / src / ASTAnalyses / Encoding / encodinggraph.cc

diff --git a/src/ASTAnalyses/Encoding/encodinggraph.cc b/src/ASTAnalyses/Encoding/encodinggraph.cc
index 2aee67092e41510bbc81d8e6248aaaf0200d2e6d..9231ad6054eeaefef6828445ca92b49bbb83b8f4 100644 (file)
--- a/src/ASTAnalyses/Encoding/encodinggraph.cc
+++ b/src/ASTAnalyses/Encoding/encodinggraph.cc
@@ -9,7 +9,6 @@
 #include "qsort.h"
 #include "subgraph.h"
 #include "elementencoding.h"
-#include "boolean.h"
 
 EncodingGraph::EncodingGraph(CSolver * _solver) :
        solver(_solver) {