1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/builtin/theory_builtin_rewriter.h b/src/theory/builtin/theory_builtin_rewriter.h
index d50397598..716323b8a 100644
--- a/src/theory/builtin/theory_builtin_rewriter.h
+++ b/src/theory/builtin/theory_builtin_rewriter.h
@@ -2,7 +2,7 @@
 /*! \file theory_builtin_rewriter.h
  ** \verbatim
  ** Original author: dejan
- ** Major contributors: none
+ ** Major contributors: mdeters
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010, 2011  The Analysis of Computer Systems Group (ACSys)
@@ -36,7 +36,7 @@ class TheoryBuiltinRewriter {
 public:
 
   static inline RewriteResponse postRewrite(TNode node) {
-    if (node.getKind() == kind::EQUAL) {
+    if(node.getKind() == kind::EQUAL) {
       return Rewriter::callPostRewrite(Theory::theoryOf(node[0]), node);
     }
     return RewriteResponse(REWRITE_DONE, node);