From f0728db91da5bf6e5188ceec63b9cb2b2ffb4806 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 29 Jan 2014 11:40:08 +0100
Subject: [PATCH] Added property files for WLAN example.

Former-commit-id: c66ef19a4b7c676191c283316920c4b8059ff7a0
---
 examples/mdp/wlan/wlanX_4.cexprop | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/mdp/wlan/wlanX_4.cexprop b/examples/mdp/wlan/wlanX_4.cexprop
index ad82b1457..8af300d54 100644
--- a/examples/mdp/wlan/wlanX_4.cexprop
+++ b/examples/mdp/wlan/wlanX_4.cexprop
@@ -1 +1 @@
-P<0.1 [ F fourCollisions ]
+P<0.003 [ F fourCollisions ]