Adjust comment to match declared type

GaloisInc · Jul 14, 2020 · eed0bde · eed0bde
1 parent 39acf61
commit eed0bde
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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