Run tabbing pass

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

diff --git a/src/AST/rewriter.cc b/src/AST/rewriter.cc
index e8e9c847eb6aaec678ee46c0923ff99590ad65f3..f32fc91b0e945d74ea94f4e8df5e250ce94e17fe 100644 (file)
--- a/src/AST/rewriter.cc
+++ b/src/AST/rewriter.cc
@@ -138,7 +138,7 @@ void CSolver::replaceBooleanWithFalse(Boolean *bexpr) {
                setUnSAT();
                constraints.remove(bexpr);
        }
-       
+
        uint size = bexpr->parents.getSize();
        for (uint i = 0; i < size; i++) {
                Boolean *parent = bexpr->parents.get(i);