Merging + fixing memory bugs

[satune.git] / src / AST / rewriter.h

diff --git a/src/AST/rewriter.h b/src/AST/rewriter.h
index 5387e4ef15ec0aa37c4a9d98a2be1c88a556bbac..7c48092601848903e6c8eebbe7773a4fdaaab913 100644 (file)
--- a/src/AST/rewriter.h
+++ b/src/AST/rewriter.h
@@ -2,6 +2,4 @@
 #define REWRITER_H
 #include "classlist.h"
 
-void handleXORTrue(BooleanLogic *bexpr, Boolean *child);
-
 #endif