diff options
Diffstat (limited to 'src/theory/sep/kinds')
-rw-r--r-- | src/theory/sep/kinds | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/theory/sep/kinds b/src/theory/sep/kinds index 7a3fb00a4..666e3f179 100644 --- a/src/theory/sep/kinds +++ b/src/theory/sep/kinds @@ -4,13 +4,13 @@ # src/theory/builtin/kinds. # -theory THEORY_SEP ::CVC4::theory::sep::TheorySep "theory/sep/theory_sep.h" +theory THEORY_SEP ::CVC5::theory::sep::TheorySep "theory/sep/theory_sep.h" typechecker "theory/sep/theory_sep_type_rules.h" properties polite stable-infinite parametric properties check presolve -rewriter ::CVC4::theory::sep::TheorySepRewriter "theory/sep/theory_sep_rewriter.h" +rewriter ::CVC5::theory::sep::TheorySepRewriter "theory/sep/theory_sep_rewriter.h" nullaryoperator SEP_NIL "separation nil" @@ -20,11 +20,11 @@ operator SEP_STAR 2: "separation star" operator SEP_WAND 2 "separation magic wand" operator SEP_LABEL 2 "separation label (internal use only)" -typerule SEP_EMP ::CVC4::theory::sep::SepEmpTypeRule -typerule SEP_PTO ::CVC4::theory::sep::SepPtoTypeRule -typerule SEP_STAR ::CVC4::theory::sep::SepStarTypeRule -typerule SEP_WAND ::CVC4::theory::sep::SepWandTypeRule -typerule SEP_LABEL ::CVC4::theory::sep::SepLabelTypeRule -typerule SEP_NIL ::CVC4::theory::sep::SepNilTypeRule +typerule SEP_EMP ::CVC5::theory::sep::SepEmpTypeRule +typerule SEP_PTO ::CVC5::theory::sep::SepPtoTypeRule +typerule SEP_STAR ::CVC5::theory::sep::SepStarTypeRule +typerule SEP_WAND ::CVC5::theory::sep::SepWandTypeRule +typerule SEP_LABEL ::CVC5::theory::sep::SepLabelTypeRule +typerule SEP_NIL ::CVC5::theory::sep::SepNilTypeRule endtheory |