more edits

[satune.git] / src / Backend / nodeedge.h

diff --git a/src/Backend/nodeedge.h b/src/Backend/nodeedge.h
index 559c05822732b6f694ef96ec973f80c1440c259e..bc0eb5cec3fe55530147a09e55f064dd7be03373 100644 (file)
--- a/src/Backend/nodeedge.h
+++ b/src/Backend/nodeedge.h
@@ -193,8 +193,6 @@ bool propagate(CNF *cnf, CNFExpr * dest, CNFExpr * src, bool negate);
 void saveCNF(CNF *cnf, CNFExpr* exp, Edge e, bool sign);
 CNFExpr* fillArgs(CNF * cnf, Edge e, bool isNeg, Edge * largestEdge);
 
-
-
 Edge E_True={(Node *)(uintptr_t) EDGE_IS_VAR_CONSTANT};
 Edge E_False={(Node *)(uintptr_t) (EDGE_IS_VAR_CONSTANT | NEGATE_EDGE)};
 #endif