diff options
Diffstat (limited to 'rts/gmp/errno.c')
| -rw-r--r-- | rts/gmp/errno.c | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/rts/gmp/errno.c b/rts/gmp/errno.c deleted file mode 100644 index 7dd223c19c..0000000000 --- a/rts/gmp/errno.c +++ /dev/null @@ -1,26 +0,0 @@ -/* gmp_errno -- The largest and most complex file in GMP. - -Copyright (C) 2000 Free Software Foundation, Inc. - -This file is part of the GNU MP Library. - -The GNU MP Library is free software; you can redistribute it and/or modify -it under the terms of the GNU Lesser General Public License as published by -the Free Software Foundation; either version 2.1 of the License, or (at your -option) any later version. - -The GNU MP Library is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -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; see the file COPYING.LIB. If not, write to -the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, -MA 02111-1307, USA. */ - - -#include "gmp.h" -#include "gmp-impl.h" - -int gmp_errno = 0; |