This commit is contained in:
Vítor Santos Costa 2011-11-12 12:20:03 +00:00
parent 074a9a754f
commit 449da99843

View File

@ -19,7 +19,7 @@ extern "C" {
//=== includes ===============================================================
#ifdef _YAP_NOT_INSTALLED_
#include "src/config.h"
#include "config.h"
#ifdef __cplusplus
}
@ -35,7 +35,7 @@ extern "C" {
#include "YapInterface.h"
#else
#include <Yap/config.h>
#include <Yap/src/config.h>
#if USE_GMP
#include <gmp.h>
#endif