diff options
| author | Tim King <taking@google.com> | 2015-11-23 16:30:24 -0800 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2015-11-23 20:40:00 -0800 |
| commit | b95f93789c8695365bc1741fe88fca9473a0d02c (patch) | |
| tree | db317660f85743b48281e6011a6d41c1d219cddc /src/parser/parser_exception.h | |
| parent | 90ebc5e036f122b6705b3dd2f703f40d39de7aac (diff) | |
Isolating the dependencies on CVC4_ANTLR3_OLD_INPUT_STREAM. Also freeing more memory for antlr input.
Diffstat (limited to 'src/parser/parser_exception.h')
0 files changed, 0 insertions, 0 deletions