From eca03981a0da2477867d4379b6c3ba9aaf3ac85a Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 22 Jul 2016 10:32:15 +0000 Subject: [PATCH] param.BigRational: fix comment typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11551 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/param/BigRational.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java index b8ba1254..adece88b 100644 --- a/prism/src/param/BigRational.java +++ b/prism/src/param/BigRational.java @@ -30,7 +30,7 @@ import java.math.BigInteger; /** * Provides a class to store big rational numbers. - * Nominator and denominator of a number stored using this class are not + * Numerator and denominator of a number stored using this class are not * necessarily coprime. However, cancellation is applied by default. * The special values infinity (INF), minus infinity (MINF) and not a number * (NAN)are provided. For them, the usual rules apply (INF * INF = INF,