diff options
Diffstat (limited to 'src/theory/sep/kinds')
| -rw-r--r-- | src/theory/sep/kinds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sep/kinds b/src/theory/sep/kinds index 235b61172..7a3fb00a4 100644 --- a/src/theory/sep/kinds +++ b/src/theory/sep/kinds @@ -8,7 +8,7 @@ theory THEORY_SEP ::CVC4::theory::sep::TheorySep "theory/sep/theory_sep.h" typechecker "theory/sep/theory_sep_type_rules.h" properties polite stable-infinite parametric -properties check propagate presolve +properties check presolve rewriter ::CVC4::theory::sep::TheorySepRewriter "theory/sep/theory_sep_rewriter.h" |