From 02462693526f06a4fd40ee2f0c799e52456bbfbb Mon Sep 17 00:00:00 2001
From: Leonardo Sala <leonardo.sala@psi.ch>
Date: Mon, 7 Aug 2017 14:02:43 +0200
Subject: [PATCH] Script execution

---
 script/test-time.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/test-time.py b/script/test-time.py
index 0a68e30..7027a50 100644
--- a/script/test-time.py
+++ b/script/test-time.py
@@ -50,7 +50,7 @@ def format_delta(start,end):
                     build_time_us -= one_millisecond
                     ms += 1
                 time_str = "%.2fms" % ( ms + build_time_us / float(one_millisecond) )
-                print time_str
+                print time_str;
     return time_str
 now();
 format_delta(1496394245,1596400000);