From 36b5e7b741af56381986de047679e601766c7d66 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Tue, 17 Jul 2018 20:31:26 +0100
Subject: [PATCH] TGC generator

---
 in/gen_drs_mutex.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/in/gen_drs_mutex.py b/in/gen_drs_mutex.py
index 621c40a..35188c0 100755
--- a/in/gen_drs_mutex.py
+++ b/in/gen_drs_mutex.py
@@ -33,7 +33,7 @@ context-automaton {{
 """
 
 PROPERTY_STR = """
-rsctlk-property {{ {:s} }}
+rsctlk-property {{ default : {:s} }}
 """