From af87493012bd73782081eed69e6c1c493349fa85 Mon Sep 17 00:00:00 2001
From: V V <vvaltman@aurum>
Date: Thu, 1 Oct 2015 14:48:46 +0300
Subject: [PATCH] added time to debug output. updated tgl

---
 interface.c | 5 +++++
 tgl         | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/interface.c b/interface.c
index 3071f57..1597d33 100644
--- a/interface.c
+++ b/interface.c
@@ -3495,6 +3495,11 @@ void logprintf (const char *format, ...) {
     printf (COLOR_GREY);
   }
   printf (" *** ");
+
+
+  double T = tglt_get_double_time ();
+  printf ("%.6lf ", T);
+
   va_list ap;
   va_start (ap, format);
   vfprintf (stdout, format, ap);
diff --git a/tgl b/tgl
index b16c44c..a5e0705 160000
--- a/tgl
+++ b/tgl
@@ -1 +1 @@
-Subproject commit b16c44c727f1eec561c2c69eb7373b72ee08a52d
+Subproject commit a5e0705ba59a5ee2ee1c801e5c3ea7a74ca30afc