diff options
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/builtin/kinds | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/theory/builtin/kinds b/src/theory/builtin/kinds index da31d157f..8eff22ed4 100644 --- a/src/theory/builtin/kinds +++ b/src/theory/builtin/kinds @@ -251,13 +251,6 @@ sort BUILTIN_OPERATOR_TYPE \ not-well-founded \ "Built in type for built in operators" -# Justified because we can have an unbounded-but-finite number of -# sorts. Assuming we have |Z| is probably ok for now.. -sort KIND_TYPE \ - Cardinality::INTEGERS \ - not-well-founded \ - "Uninterpreted Sort" - variable SORT_TAG "sort tag" parameterized SORT_TYPE SORT_TAG 0: "sort type" # This is really "unknown" cardinality, but maybe this will be good |