renamed config_sfa into config_dual

[tests.git] / system / config_sfa.py

diff --git a/system/config_sfa.py b/system/config_sfa.py
deleted file mode 100644 (file)
index 8b6d918..0000000
--- a/system/config_sfa.py
+++ /dev/null
@@ -1,10 +0,0 @@
-# Thierry Parmentelat <thierry.parmentelat@inria.fr>
-# Copyright (C) 2010 INRIA 
-#
-# just overwrite options.size to be 2 and re-use the default config
-import config_default
-
-def config (plc_specs, options):
-    options.size=2
-    return config_default.config(plc_specs,options)
-