diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2016-07-23 14:27:23 -0600 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2016-07-23 14:27:23 -0600 |
| commit | 2b64144fb02b68d00188ee81c27afa5fbc026b5b (patch) | |
| tree | 3cd907500621d3a506444688bda63ae0f521696f /Source/Provers/SMTLib/SMTLibLineariser.cs | |
| parent | f678d42190391708ae09fa68347421da54d9a7b4 (diff) | |
fixed an error where a -0 was not interpreted as a negative number
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibLineariser.cs')
0 files changed, 0 insertions, 0 deletions