From 3b35064d28382b66bdbe481baca9d80cc059dc42 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 25 Jul 2017 15:09:28 +0200
Subject: Fixes issues with "_". things seem to work now.

---
 data/property/combinational_processes.pro | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'data/property')

diff --git a/data/property/combinational_processes.pro b/data/property/combinational_processes.pro
index 5008a06..b3f2633 100644
--- a/data/property/combinational_processes.pro
+++ b/data/property/combinational_processes.pro
@@ -9,7 +9,7 @@
                (CTL_verifies ps
                   (EF
                      (and
-                        (expr_reads sl1)
+                        (is_read_element _ sl1)
                         (expr_writes target)
                         (not
                            (AX
-- 
cgit v1.2.3-70-g09d2