mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-26 22:29:08 +03:00
Fix incorrect import of PNeq.
This commit is contained in:
parent
52d2c666bd
commit
c9bbf02a71
@ -44,7 +44,7 @@ exportPropM ty =
|
||||
case (pc, ets) of
|
||||
(Cry.PFin, [t]) -> return (Fin t)
|
||||
(Cry.PEqual, [t1,t2]) -> return (t1 :== t2)
|
||||
(Cry.PNeq, [t1,t2]) -> return (t1 :== t2)
|
||||
(Cry.PNeq, [t1,t2]) -> return (Not (t1 :== t2))
|
||||
(Cry.PGeq, [t1,t2]) -> return (t1 :>= t2)
|
||||
_ -> raise ()
|
||||
Cry.TCon _ _ -> raise ()
|
||||
|
Loading…
Reference in New Issue
Block a user