diff options
| author | Guy <katz911@gmail.com> | 2016-06-20 14:20:15 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-06-20 14:20:15 -0700 |
| commit | a592e0137504c5788084cb8e150f46f109f566d7 (patch) | |
| tree | 0816b285c639e0121a1d0a63033ad29bf25b5e35 /.travis.yml | |
| parent | 4b8972fec229012812bb7edc9e315c2e54f7c059 (diff) | |
Addressed a bug that occurs when proof production is triggered via text flags in the input.
Separated some initialization into two phases:
1. Those that can be done when the proof compiliation flag is set
2. Those that can be done only when the --proof option is set.
For #2, deferred their execution until the text flags in the input have been processed
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions