From aaccdbe7a9305de045896a37a1f5e7e6bfdb75b3 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 23 Mar 2011 15:21:40 +0100
Subject: [PATCH] comments

---
 system/config_triangle.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/system/config_triangle.py b/system/config_triangle.py
index 1380208..91c79e4 100644
--- a/system/config_triangle.py
+++ b/system/config_triangle.py
@@ -1,10 +1,10 @@
 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
 # Copyright (C) 2010 INRIA 
 #
-# just overwrite options.size to be 2 and re-use the default config
+# re-use the default config with 3 myplc's and 
+# 3 SFA's for checking antiloop on some decent scale
 import config_default
 
-# for checking antiloop on some decent scale
 def config (plc_specs, options):
     options.size=3
     return config_default.config(plc_specs,options)
-- 
2.47.0