diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-22 12:23:36 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-22 12:23:36 -0500 |
commit | d85e90bfcc0bebe52b2da0bad638bc2fe9ef50b0 (patch) | |
tree | 9a161fca85a32a9a75efe34ce7c74ec0795656ab /src/util | |
parent | 0045ba2af7b31243c545828494d11f53e16f59db (diff) |
(proof-new) Add proof-new to options file (#4641)
Adds proof-new as an option. This is required for adding code that is guarded by this option while we are in the process of merging work on the new proofs infrastructure.
Enabling the option currently throws an option exception.
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions