From 2aadb9df33861270c48fb240d5fc4d92cb10a3a4 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 29 Apr 2018 18:54:56 +0100
Subject: [PATCH] Cleanup

---
 in/gen_drs_mutex.py | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/in/gen_drs_mutex.py b/in/gen_drs_mutex.py
index 9a3e4b1..852488d 100755
--- a/in/gen_drs_mutex.py
+++ b/in/gen_drs_mutex.py
@@ -74,9 +74,5 @@ out += PROPERTY_STR
 
 print(out)
 
-        # { ct={} proc1={out} }: s0 -> s1;
-        # { ct={} proc2={out} }: s0 -> s1;
-        
-        # { ct={} proc1={} }: s1 -> s1;
-        # { ct={} proc2={} }: s1 -> s1;
+