From d4a9f97cdd2e77eba2b0b7a8158b07a6eb60af8e Mon Sep 17 00:00:00 2001
From: vscosta <vsc@VITORs-MBP-2.lan>
Date: Tue, 5 Apr 2016 02:21:19 +0100
Subject: [PATCH] InitTime is done automatically.

---
 C/init.c | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/C/init.c b/C/init.c
index 13e56e318..f466578f0 100755
--- a/C/init.c
+++ b/C/init.c
@@ -1351,13 +1351,12 @@ void Yap_InitWorkspace(UInt Heap, UInt Stack, UInt Trail, UInt Atts,
 #endif /* YAPOR || TABLING */
 
   Yap_AttsSize = Atts;
-  Yap_InitTime(0);
-/* InitAbsmi must be done before InitCodes */
+  /* InitAbsmi must be done before InitCodes */
 /* This must be done before initializing predicates */
 #ifdef MPW
-  Yap_InitAbsmi(REGS, FunctorList);
+      Yap_InitAbsmi(REGS, FunctorList);
 #else
-  Yap_InitAbsmi();
+      Yap_InitAbsmi();
 #endif
   InitCodes();
   InitOps();