diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-09 11:18:18 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-09 17:46:21 -0400 |
| commit | ec4d1e3753434f5d34a22e653dace14b87557aaf (patch) | |
| tree | 9cfa4fc484dd5e27373277751887e50558a458df /src/theory/theory.cpp | |
| parent | e93d0be650b9f349fe8be3a56ce2fc7cb20fddf0 (diff) | |
Minor change to better support parameterized partial/total kinds (for upcoming datatypes work).
Diffstat (limited to 'src/theory/theory.cpp')
0 files changed, 0 insertions, 0 deletions