diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-10 18:34:44 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-10 18:35:15 -0400 |
| commit | 9042fc86692b6dc67ed5ba6bd721752d9a5c5389 (patch) | |
| tree | 12cd2743b15b3af1a320ad3403668cfd5feae3b6 /src/cvc4.i | |
| parent | 6ae07a91cdd4f20f8fdccd7e31d217c6ca34ee45 (diff) | |
Fix the build; --check-proof works for UF but not for the new UFC logic.
Diffstat (limited to 'src/cvc4.i')
0 files changed, 0 insertions, 0 deletions