cmake and jit

2015-01-26 04:02:46 +00:00
parent 9d4b59f7d6
commit bc1e70758e
49 changed files with 1397 additions and 1311 deletions
--- a/C/init.c
+++ b/C/init.c
@@ -936,7 +936,7 @@ static void
 InitStdPreds(void)
 {
  void initIO(void);
-
+  
  Yap_InitCPreds();
  Yap_InitBackCPreds();
  BACKUP_MACHINE_REGS();
@@ -1474,4 +1474,3 @@ Yap_exit (int value)
  closeFiles(TRUE);
  exit(value);
 }
-