diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-23 20:41:11 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-23 20:41:11 -0500 |
commit | 78b986c8c45159c1a6669602ec724dbfa2a5047b (patch) | |
tree | a224c68d42a42a762b51fa9d566e0d93ce7d2ba1 /src/decision | |
parent | 55fd4152498a87aed3ddf220c91e3fc2f560e281 (diff) |
Remove spurious assertion in nonlinear extension (#1972)
Diffstat (limited to 'src/decision')
0 files changed, 0 insertions, 0 deletions