Commit a0084b8f authored by Andrei Paskevich's avatar Andrei Paskevich

theories/relations.why: two-character three-year-long bug

parent f714743d
......@@ -49,7 +49,7 @@ end
theory Equivalence
clone export PreOrder
clone export Asymmetric with type t = t, predicate rel = rel
clone export Symmetric with type t = t, predicate rel = rel
end
theory TotalPreOrder
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment