Skip to content
Commit 3367d017 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Fixed: wrong operator<() for [int|array]_iterator. 

Led to bug in Clause::Minimize().
parent d52edc24
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment