diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 08:43:24 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-20 16:53:37 -0400 |
commit | d4fb7022845f3ec595cff3fb1b6324e2364d25d3 (patch) | |
tree | dddda0f0a1149fbcc150f0dfc4b0a359ae2f5d6a /src/proof/proof_manager.cpp | |
parent | 67cd7748e776bcceefe7b06edcfc316876cca9bd (diff) |
Fix to empty response to (get-assignment).
Thanks to David Cok for reporting this issue.
Diffstat (limited to 'src/proof/proof_manager.cpp')
0 files changed, 0 insertions, 0 deletions