From 0261bb434fc487d5e664b68dff5c0c4c36f01d73 Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Thu, 15 Dec 2016 21:28:18 -0800
Subject: [PATCH] make sure B is a function of epsilon

---
 stl/smooth_robustness.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stl/smooth_robustness.py b/stl/smooth_robustness.py
index f618398..dd7eed8 100644
--- a/stl/smooth_robustness.py
+++ b/stl/smooth_robustness.py
@@ -43,11 +43,11 @@ def admissible_params(phi, eps, L):
 
 def symbolic_params(phi, eps, L):
     L = sym.Dummy("L")
-    eps = sym.Dummy("eps")
+    eps = sym.Dummy("\epsilon")
     return Param(
         L=L,
         h=sample_rate(eps, L),
-        B=sym.Dummy("B"),
+        B=sym.Dummy("B")(eps, sym.Dummy("\phi")),
         eps=eps,
     )