Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
This commit is contained in:
commit
1f1aa72e4a
@ -2217,8 +2217,13 @@ prune(choiceptr cp USES_REGS)
|
|||||||
|
|
||||||
#define CHECK_ALARM(CONT)
|
#define CHECK_ALARM(CONT)
|
||||||
|
|
||||||
|
#if HAVE_SYS_TIME_H
|
||||||
#include <sys/time.h>
|
#include <sys/time.h>
|
||||||
|
#endif
|
||||||
|
#if HAVE_SYS_RESOURCE_H
|
||||||
#include <sys/resource.h>
|
#include <sys/resource.h>
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|
||||||
#if YAP_JIT
|
#if YAP_JIT
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user