Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3

2014-04-23 22:42:03 +01:00
parent aba5f3d88b f1951777b7
commit 6591b5429c
33 changed files with 1836 additions and 732 deletions
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -1998,7 +1998,6 @@ static void  expand_consult( void )
  LOCAL_ConsultLow = new_cl;
 }

-/* p was already locked */
 static int 
 not_was_reconsulted(PredEntry *p, Term t, int mode)
 {
@@ -6458,7 +6457,6 @@ p_nth_instance( USES_REGS1 )

 }

-
 void 
 Yap_InitCdMgr(void)
 {