Skip to content
Commit 4cbb860b authored by Christoph Schwering's avatar Christoph Schwering
Browse files

BATs must list sort names; fixed implication and equivalence in proper+ compiler. 

* sort_name/2 in BATs must list names of a sort.
* cnf/2 handles negated <-> and -> correctly.
parent f0c25eaa
Show 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