1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node.h b/src/expr/node.h
index e56774d7e..0b150d25d 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -230,7 +230,9 @@ class NodeTemplate {
       Assert( d_nv->d_rc > 0, "TNode pointing to an expired NodeValue" );
     }
   }
+
 public:
+
   /**
    * Cache-aware, recursive version of substitute() used by the public
    * member function with a similar signature.
@@ -255,8 +257,6 @@ public:
   Node substitute(Iterator substitutionsBegin, Iterator substitutionsEnd,
                   std::hash_map<TNode, TNode, TNodeHashFunction>& cache) const;
 
-public:
-
   /** Default constructor, makes a null expression. */
   NodeTemplate() : d_nv(&expr::NodeValue::s_null) { }