From b7ec3ac16265fde72091329e048911fac59a4fbe Mon Sep 17 00:00:00 2001
From: Kento HASEGAWA <kento.hasegawa@togawa.cs.waseda.ac.jp>
Date: Fri, 23 Aug 2019 15:55:00 +0900
Subject: [PATCH] Fix a bug

---
 twd_solver.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/twd_solver.py b/twd_solver.py
index 810b7fd..a8aad0e 100644
--- a/twd_solver.py
+++ b/twd_solver.py
@@ -32,7 +32,7 @@ def solve(params):
 
     problem = params['problem']
     timeout = params['timeout']
-    seed = params.get('seed', int(time.time))
+    seed = params.get('seed', int(time.time()))
 
     basedir = os.path.abspath(os.path.dirname(__file__))
 
-- 
2.22.0