Fix tabbing

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

diff --git a/src/AST/element.cc b/src/AST/element.cc
index d8072315ca3a04e8f44a7fe0ee78ddc6aa852716..f182cd2c471def656f480f29c04361f1dde0a001 100644 (file)
--- a/src/AST/element.cc
+++ b/src/AST/element.cc
@@ -9,7 +9,7 @@
 Element::Element(ASTNodeType _type) :
        ASTNode(_type),
        encoding(this),
-       anyValue(false){
+       anyValue(false) {
 }
 
 ElementSet::ElementSet(Set *s) :
@@ -36,7 +36,7 @@ ElementConst::ElementConst(uint64_t _value, Set *_set) :
 }
 
 Element *ElementConst::clone(CSolver *solver, CloneMap *map) {
-       Element* e= solver->getElementConst(type, value);
+       Element *e = solver->getElementConst(type, value);
        e->anyValue = anyValue;
        return e;
 }