diff options
Diffstat (limited to 'rand/randmt.c')
| -rw-r--r-- | rand/randmt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rand/randmt.c b/rand/randmt.c index 3137bb54f..677b454cf 100644 --- a/rand/randmt.c +++ b/rand/randmt.c @@ -19,7 +19,7 @@ or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. You should have received a copy of the GNU Lesser General Public License -along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. */ +along with the GNU MP Library. If not, see https://www.gnu.org/licenses/. */ #include <stdio.h> /* for NULL */ |