# -*- python3 -*-
# Thierry Parmentelat <thierry.parmentelat@inria.fr>
# Copyright (C) 2015 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)