1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/arith/arith_rewriter.cpp b/src/theory/arith/arith_rewriter.cpp
index bc8604e85..d2ecaffe4 100644
--- a/src/theory/arith/arith_rewriter.cpp
+++ b/src/theory/arith/arith_rewriter.cpp
@@ -234,6 +234,7 @@ RewriteResponse ArithRewriter::postRewriteAtom(TNode atom){
 
 RewriteResponse ArithRewriter::preRewriteAtom(TNode atom){
   Assert(isAtom(atom));
+
   NodeManager* currNM = NodeManager::currentNM();
 
   if(atom.getKind() == kind::EQUAL) {
@@ -244,7 +245,7 @@ RewriteResponse ArithRewriter::preRewriteAtom(TNode atom){
 
   Node reduction = atom;
 
-  if(atom[1].getMetaKind() != kind::metakind::CONSTANT){
+  if(atom[1].getMetaKind() != kind::metakind::CONSTANT) {
     // left |><| right
     TNode left = atom[0];
     TNode right = atom[1];