diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-14 11:27:53 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-14 11:27:53 -0700 |
commit | 2addacac33a9f0d28462121dfac5a1392470d60d (patch) | |
tree | 689c75776c3b8b3ae7da2303f4d47215e76a342e /src/expr | |
parent | 4618986f539c8c0abee1b82105b6ccef513afecf (diff) |
Use antlr-3.4 directory if already present in CVC4 root directory (#213)
* Find antlr-3.4 directory if installed via contrib/get-antlr-3.4.
Diffstat (limited to 'src/expr')
0 files changed, 0 insertions, 0 deletions