diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-07 11:37:04 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-07 11:37:04 -0700 |
commit | 98b41576dcaaa3a6f935613fb7cc9065f4b3b813 (patch) | |
tree | c10837c8a2b32f759b4fcb8a2e2b3381bc8fcb9e /config/cryptominisat.m4 | |
parent | 2022ec61d569e6408a0eccbde4954ccb7cac61a7 (diff) |
Remove invalid assertion (#1993). (#2057)
Diffstat (limited to 'config/cryptominisat.m4')
0 files changed, 0 insertions, 0 deletions