Browse Source

param.BigRational: fix comment typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11551 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Joachim Klein 10 years ago
parent
commit
eca03981a0
  1. 2
      prism/src/param/BigRational.java

2
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,

Loading…
Cancel
Save