diff options
author | Tim King <taking@cs.nyu.edu> | 2017-09-26 13:02:32 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-26 13:02:32 -0700 |
commit | 0f9f1fee128c86f3a1210134f1f22a0343793d4a (patch) | |
tree | b1da0e71c045b337bbf671662f1e7ab09f4d4ae2 /src/theory/fp | |
parent | e76b70bfa6053b8de7868e595cbe6317ae0ef11c (diff) |
Fixing CIDs 1172014 and 1172013: Initializing members of GetProofCommand and GetModelCommand to nullptr. (#1142)
Diffstat (limited to 'src/theory/fp')
0 files changed, 0 insertions, 0 deletions