diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-09-24 20:55:58 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-09-24 20:55:58 +0000 |
| commit | 86df00c36c6cbabac53001082219c3fc8c0fa297 (patch) | |
| tree | be6865d50b8be133bc7d914fb80b531295021da4 /src/theory | |
| parent | 1f48835b7252757bb778a93bdac2d62e1dea59bc (diff) | |
some api changes
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 |