X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Frewriter.h;h=7c48092601848903e6c8eebbe7773a4fdaaab913;hp=3e3488f67ca5ef29396af60affdc5fbaa4b2816a;hb=6b81425e00f5a8e1e563ff268cca3c9bce355bcb;hpb=f9546315ab6ece42f48fa8b2e2e53abcd1f00b74

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