projects / satune.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Try to fix encapsulation
[satune.git] / src / AST / rewriter.h
1 #ifndef REWRITER_H
2 #define REWRITER_H
3 #include "classlist.h"
4
5 void handleXORTrue(BooleanLogic *bexpr, Boolean *child);
6
7 #endif
SATune Repository