diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-10 20:06:31 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-10 20:06:31 -0400 |
commit | 48653e7a5104479b91523afa449810a9cc2fd160 (patch) | |
tree | 3c23fc27de2d966418a47e3690912f1f5057f18a /src/theory/builtin/kinds | |
parent | 9042fc86692b6dc67ed5ba6bd721752d9a5c5389 (diff) |
setType -> setOfType, resolves bug 556
Diffstat (limited to 'src/theory/builtin/kinds')
0 files changed, 0 insertions, 0 deletions