From 935f7b466c6e17ed9b8f33357483eaa87a14519d Mon Sep 17 00:00:00 2001 From: marcell Date: Tue, 12 Feb 2019 01:01:13 +0000 Subject: [PATCH] fix typo --- mtl/evaluator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mtl/evaluator.py b/mtl/evaluator.py index 49cfd62..c59f789 100644 --- a/mtl/evaluator.py +++ b/mtl/evaluator.py @@ -59,7 +59,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 not quantitative else [(t, v > 0 for t, v in res)] + return res if not quantitative else [((t, v > 0) for t, v in res)] res = interp(f(sig), t, phi) return res if quantitative else res > 0