Work on canonicalizing the AST so our analysis can handle fewer cases

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

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