remove warning that is mor econfusing than helpful
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 22 May 2014 14:39:22 +0000 (16:39 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 22 May 2014 14:39:22 +0000 (16:39 +0200)
commitf96f84a81d6b9cba763f9ccee30a51754da074ee
tree5f9a0fa6059a12ab261c2afdcbb96f6cc9b5dc35
parent5a2473264b3a2eec57083af14aac1eac01c539a7
remove warning that is mor econfusing than helpful
system/Substrate.py