From eed0bdeafa688178a3f39f0fa221431bf0628d20 Mon Sep 17 00:00:00 2001 From: Iavor Diatchki Date: Tue, 14 Jul 2020 15:36:56 -0700 Subject: [PATCH] Adjust comment to match declared type --- lib/Cryptol.cry | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/Cryptol.cry b/lib/Cryptol.cry index cbcb85b78..d0cb18951 100644 --- a/lib/Cryptol.cry +++ b/lib/Cryptol.cry @@ -201,8 +201,8 @@ primitive fromThenTo : {first, next, last, a, len} // Fractional Literals --------------------- -/** 'FLiteral n d r a' asserts that the type `a' contains the -fraction `n/d`. The flag `r` indicates if we should round (`r >= 1`) +/** 'FLiteral m n r a' asserts that the type `a' contains the +fraction `m/n`. The flag `r` indicates if we should round (`r >= 1`) or report an error if the number can't be represented exactly. */ primitive type FLiteral : # -> # -> # -> * -> Prop