diff options
Diffstat (limited to 'src/theory/rewriterules/kinds')
-rw-r--r-- | src/theory/rewriterules/kinds | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/theory/rewriterules/kinds b/src/theory/rewriterules/kinds deleted file mode 100644 index 4ea0ecd43..000000000 --- a/src/theory/rewriterules/kinds +++ /dev/null @@ -1,17 +0,0 @@ -# kinds -*- sh -*- -# -# For documentation on this file format, please refer to -# src/theory/builtin/kinds. -# - -theory THEORY_REWRITERULES ::CVC4::theory::rewriterules::TheoryRewriteRules "theory/rewriterules/theory_rewriterules.h" -typechecker "theory/rewriterules/theory_rewriterules_type_rules.h" -rewriter ::CVC4::theory::rewriterules::TheoryRewriterulesRewriter "theory/rewriterules/theory_rewriterules_rewriter.h" - -properties check - -# Theory content goes here. - -# constants... - -endtheory |