From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Mon, 20 Jun 2016 17:47:04 +0000 (-0500)
Subject: Minor change to sep/kinds
X-Git-Tag: cvc5-1.0.0~6049^2~4^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c2724bbe4f922488c29e3702b955001e0a7d4449;p=cvc5.git

Minor change to sep/kinds
---

diff --git a/src/theory/sep/kinds b/src/theory/sep/kinds
index 4ad615c1f..6c4ad33db 100644
--- 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"