diff options
Diffstat (limited to 'lib/mini-gmp.c')
| -rw-r--r-- | lib/mini-gmp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/mini-gmp.c b/lib/mini-gmp.c index 8577b59ef6d..e7a320a6420 100644 --- a/lib/mini-gmp.c +++ b/lib/mini-gmp.c @@ -10,7 +10,7 @@ The GNU MP Library is free software; you can redistribute it and/or modify it under the terms of either: * the GNU Lesser General Public License as published by the Free - Software Foundation; either version 3 of the License, or (at your + Software Foundation, either version 3 of the License, or (at your option) any later version. or |