From d77040cce8bf14f139946b170c57a8810e3d09c3 Mon Sep 17 00:00:00 2001
From: Changlin Li <mail@changlinli.com>
Date: Thu, 25 Jul 2019 11:06:30 -0400
Subject: [PATCH] Simplify always MutualExclusion

I don't need to take stuttering into account for a temporal property.
---
 Peterson.toolbox/Peterson___model.launch | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Peterson.toolbox/Peterson___model.launch b/Peterson.toolbox/Peterson___model.launch
index f5beaee..d5d8e6a 100644
--- a/Peterson.toolbox/Peterson___model.launch
+++ b/Peterson.toolbox/Peterson___model.launch
@@ -27,6 +27,7 @@
 </listAttribute>
 <listAttribute key="modelCorrectnessProperties">
 <listEntry value="1WillEventuallyEnterCritical"/>
+<listEntry value="1[]MutualExclusion"/>
 </listAttribute>
 <stringAttribute key="modelExpressionEval" value=""/>
 <stringAttribute key="modelParameterActionConstraint" value=""/>