diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

small typos

Browse Source
This commit is contained in:
Vítor Santos Costa 2015-10-09 10:27:48 +01:00
parent b654c8fe00
commit d5c21324a4
3 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
C/c_interface.c
View File

@ -2419,14 +2419,16 @@ YAP_RunGoalOnce(Term t)
Term out; Term out;
yamop *old_CP = CP; yamop *old_CP = CP;
Int oldPrologMode = LOCAL_PrologMode; Int oldPrologMode = LOCAL_PrologMode;
yhandle_t CSlot;
BACKUP_MACHINE_REGS(); BACKUP_MACHINE_REGS();
Yap_InitYaamRegs( 0 ); Yap_InitYaamRegs( 0 );
CSlot = Yap_StartSlots();
LOCAL_PrologMode = UserMode; LOCAL_PrologMode = UserMode;
// Yap_heap_regs->yap_do_low_level_trace=true; // Yap_heap_regs->yap_do_low_level_trace=true;
out = Yap_RunTopGoal(t); out = Yap_RunTopGoal(t);
LOCAL_PrologMode = oldPrologMode; LOCAL_PrologMode = oldPrologMode;
Yap_CloseSlots(CSlot);
if (!(oldPrologMode & UserCCallMode)) { if (!(oldPrologMode & UserCCallMode)) {
/* called from top-level */ /* called from top-level */
LOCAL_AllowRestart = FALSE; LOCAL_AllowRestart = FALSE;

1
C/flags.c
View File

@ -46,7 +46,6 @@ static bool indexer(Term inp);
static bool getenc(Term inp); static bool getenc(Term inp);
static bool typein( Term inp ); static bool typein( Term inp );
static bool dqf( Term t2 ); static bool dqf( Term t2 );
static bool bqf( Term t2 );
static void newFlag( Term fl, Term val ); static void newFlag( Term fl, Term val );
static Int current_prolog_flag(USES_REGS1); static Int current_prolog_flag(USES_REGS1);

0
File Normal file
View File