From cb192cf26ab19b427a1e1f9476bec4ed1dc98436 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Fri, 11 Mar 2011 20:36:40 +0000
Subject: [PATCH] add get_time.

---
 packages/PLStream/pl-file.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages/PLStream/pl-file.c b/packages/PLStream/pl-file.c
index 02903c29e..74ca92376 100755
--- a/packages/PLStream/pl-file.c
+++ b/packages/PLStream/pl-file.c
@@ -4672,6 +4672,9 @@ EndPredDefs
 
 #if __YAP_PROLOG__
 
+pl_get_time(term_t t)
+{ return PL_unify_float(t, WallTime());
+}
 
 static word
 pl_sleep(term_t time)
@@ -4701,6 +4704,7 @@ static const PL_extension foreigns[] = {
   FRG("write_canonical",	2, pl_write_canonical2,	      ISO),
   FRG("format",			3, pl_format3,		     META),
   FRG("sleep",			1, pl_sleep,			0),
+  FRG("get_time",		1, pl_get_time,			0),
 
   // vsc
   FRG("format_predicate",	2, pl_format_predicate,	     META),