diff options
Diffstat (limited to 'contrib/theoryskel/kinds')
-rw-r--r-- | contrib/theoryskel/kinds | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/contrib/theoryskel/kinds b/contrib/theoryskel/kinds deleted file mode 100644 index 23e90c19a..000000000 --- a/contrib/theoryskel/kinds +++ /dev/null @@ -1,21 +0,0 @@ -# kinds -*- sh -*- -# -# For documentation on this file format, please refer to -# src/theory/builtin/kinds. -# - -theory THEORY_$id ::CVC4::theory::$dir::Theory$camel "theory/$dir/theory_$dir.h" -typechecker "theory/$dir/theory_$dir_type_rules.h" -rewriter ::CVC4::theory::$dir::Theory$camelRewriter "theory/$dir/theory_$dir_rewriter.h" - -properties check - -# Theory content goes here. - -# constants... - -# types... - -# operators... - -endtheory |