This commit is contained in:
Vítor Santos Costa 2016-02-14 04:12:53 +00:00
parent aed44554f2
commit 7b8c1815ae

View File

@ -355,7 +355,7 @@ void Yap_InitRange(void);
/* save.c */
int Yap_SavedInfo(char *, char *, CELL *, CELL *, CELL *);
int Yap_SavedStateRestore(char *, char *);
FILE *Yap_OpenRestore(char *, char *);
FILE *Yap_OpenRestore(const char *, char *);
void Yap_InitSavePreds(void);
/* scanner.c */