diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-25 17:53:17 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-25 17:53:17 +0200 |
commit | d9c22c34d122a34d8a8a914936d9186be9a638fe (patch) | |
tree | 1228b16f08592f46e1424f3953f212e7a2d89cfd /src/proof/options | |
parent | 3a358738071a330efda34671655979edf1d6d875 (diff) |
Use zero in cbqi when not using infinities.
Diffstat (limited to 'src/proof/options')
0 files changed, 0 insertions, 0 deletions