diff options
Diffstat (limited to 'theories/Numbers/Rational/BigQ/BigQ.v')
-rw-r--r-- | theories/Numbers/Rational/BigQ/BigQ.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Numbers/Rational/BigQ/BigQ.v b/theories/Numbers/Rational/BigQ/BigQ.v index 50c90757a..e866a52d6 100644 --- a/theories/Numbers/Rational/BigQ/BigQ.v +++ b/theories/Numbers/Rational/BigQ/BigQ.v @@ -33,7 +33,7 @@ Module BigN_BigZ <: NType_ZType BigN.BigN BigZ. Qed. End BigN_BigZ. -(** This allows to build [BigQ] out of [BigN] and [BigQ] via [QMake] *) +(** This allows building [BigQ] out of [BigN] and [BigQ] via [QMake] *) Delimit Scope bigQ_scope with bigQ. |