From f30d3911711653eed7c849f1f642e9c3451a44b2 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 27 Feb 2017 21:27:43 -0800 Subject: [PATCH] don't define empty and/or --- stl/utils.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/stl/utils.py b/stl/utils.py index 9c0e85b..cb578a8 100644 --- a/stl/utils.py +++ b/stl/utils.py @@ -131,10 +131,10 @@ def until(phi1, phi2, *, lo, hi): return stl.ast.Until(Interval(lo, hi), phi1, phi2) def andf(*args): - return reduce(op.and_, args, stl.And(tuple())) + return reduce(op.and_, args, None) def orf(*args): - return reduce(op.or_, args, stl.Or(tuple())) + return reduce(op.or_, args, None) def implies(x, y): return ~x | y