correct header file in redc_2

This commit is contained in:
jasonmoxham 2012-03-13 07:21:30 +00:00
parent 58136d3409
commit 854897bb3c

View File

@ -21,7 +21,7 @@ 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/. */
#include "gmp.h"
#include "mpir.h"
#include "gmp-impl.h"
#include "longlong.h"