Minor change to sep/kinds

diff --git a/src/theory/sep/kinds b/src/theory/sep/kinds
index 4ad615c1f983a16cee0d297af2ad261bdc56b96e..6c4ad33dbf0f045056ac2a89a36110b72b52869e 100644 (file)
--- a/src/theory/sep/kinds
+++ b/src/theory/sep/kinds
@@ -10,14 +10,14 @@ typechecker "theory/sep/theory_sep_type_rules.h"
 properties polite stable-infinite parametric
 properties check propagate presolve getNextDecisionRequest
 
+rewriter ::CVC4::theory::sep::TheorySepRewriter "theory/sep/theory_sep_rewriter.h"
+
 # constants
 constant SEP_NIL_REF \
     ::CVC4::NilRef \
     ::CVC4::NilRefHashFunction \
     "expr/sepconst.h" \
     "the nil reference constant; payload is an instance of the CVC4::NilRef class"
-    
-rewriter ::CVC4::theory::sep::TheorySepRewriter "theory/sep/theory_sep_rewriter.h"
 
 variable SEP_NIL "separation nil"