Skip to content

Commit

Permalink
Update src/Cryptol/TypeCheck/SimpType.hs
Browse files Browse the repository at this point in the history
Co-authored-by: Ryan Scott <rscott@galois.com>
  • Loading branch information
yav and RyanGlScott authored Sep 4, 2024
1 parent b0003e7 commit 5c4c598
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Cryptol/TypeCheck/SimpType.hs
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,7 @@ tSub x y
| tIsInf x = x
{- This assumes that `y` is finite and not error. The first should
follow from the typing on `tSub`, which asserts that the second argument
is finite and less than the first; the second should have been handleed
is finite and less than the first; the second should have been handled
by the first equation above `tOp`. -}

| Just 0 <- yNum = x
Expand Down

0 comments on commit 5c4c598

Please sign in to comment.