diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-02 21:00:02 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-02 21:00:02 +0000 |
| commit | cea1eb23c8a0c8088bd1db9baad0567c3dbdbfa0 (patch) | |
| tree | 76ab569a73e79045ed5cef223b28e963543df1c8 /src/smt/smt_engine.h | |
| parent | a8588cb23c5257bb11a70348346476b55317faa3 (diff) | |
Rethrow rewrite in antlr_parser. Taking LT(0) to locate the error causes the build to break on 64-bit machines. Changed to LT(1), it works now, but i'll ask around how this actually works.
Diffstat (limited to 'src/smt/smt_engine.h')
0 files changed, 0 insertions, 0 deletions