diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-04-28 14:52:22 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-04-28 14:52:22 +0000 |
| commit | 7a8454030fdbb1e6c2a6db7ce18eafe0764eaf4a (patch) | |
| tree | 1c2044783b304516f67a1355bf16b0af7ec42a06 /src/parser/antlr_input.h | |
| parent | 0c4a6edae95b3ffc76cb82604a3d1694d42625bb (diff) | |
Added theory/arith/kind and enabled the smt parser to read in these symbols. Also a bug fix to a couple of unit tests.
Diffstat (limited to 'src/parser/antlr_input.h')
0 files changed, 0 insertions, 0 deletions