From b0003e7d08b7f2e5a296b50d87b2b87dec40ee10 Mon Sep 17 00:00:00 2001 From: "Iavor S. Diatchki" Date: Wed, 4 Sep 2024 09:43:16 -0700 Subject: [PATCH] Update src/Cryptol/TypeCheck/SimpType.hs Typo Co-authored-by: Ryan Scott --- src/Cryptol/TypeCheck/SimpType.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Cryptol/TypeCheck/SimpType.hs b/src/Cryptol/TypeCheck/SimpType.hs index fdadc3c18..bfd7da92c 100644 --- a/src/Cryptol/TypeCheck/SimpType.hs +++ b/src/Cryptol/TypeCheck/SimpType.hs @@ -116,7 +116,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 argumet + 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 by the first equation above `tOp`. -}