From 065c93cb2ea0ea7c5813ee4fd80d607f9552921e Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Mon, 6 Apr 2020 10:05:07 -0700
Subject: [PATCH] Fix bug in quantitative.

---
 mtl/evaluator.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mtl/evaluator.py b/mtl/evaluator.py
index ed1b344..3f4b89f 100644
--- a/mtl/evaluator.py
+++ b/mtl/evaluator.py
@@ -63,7 +63,7 @@ def pointwise_sat(phi, dt=0.1):
 
         if t is None:
             res = [(t, v[phi]) for t, v in f(sig).items()]
-            return res if quantitative else [((t, v > 0) for t, v in res)]
+            return res if quantitative else [(t, v > 0) for t, v in res]
 
         if t is False:
             t = f(sig).items()[0][0]