mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Fix typo in comment, the exponent bases must be the same, of course.
This commit is contained in:
parent
3f013ab62d
commit
ad26512099
@ -89,7 +89,7 @@ improveEq impSkol fins prop =
|
||||
|
||||
rewriteSym this other =
|
||||
|
||||
-- (a >= 2, fin a, a ^ x == b ^ y) -> x = y
|
||||
-- (a >= 2, fin a, a ^ x == a ^ y) -> x = y
|
||||
do (a,x) <- matches this ((|^|), __, __)
|
||||
(b,y) <- matches other ((|^|), __, __)
|
||||
guard (a == b)
|
||||
|
Loading…
Reference in New Issue
Block a user