make sure gmp is always included (patch from Nuno FOnseca).

This commit is contained in:
Vítor Santos Costa 2011-02-15 21:20:14 +00:00
parent e93df788e5
commit 1c3188e304

View File

@ -36,6 +36,9 @@ extern "C" {
#include "YapInterface.h"
#else
#include <Yap/config.h>
#if USE_GMP
#include <gmp.h>
#endif
#include <Yap/YapInterface.h>
#endif
#include <stdarg.h>