oops remove duplicate deathvegas

diff --git a/system/LocalSubstrate.inria.py b/system/LocalSubstrate.inria.py
index 9c7e7c7..17fb664 100755 (executable)
--- a/system/LocalSubstrate.inria.py
+++ b/system/LocalSubstrate.inria.py
@@ -20,7 +20,7 @@ class OnelabSubstrate (Substrate):
 
    # the build boxes we use 
    def build_boxes_spec (self):
-      return [ 'liquid', 'reed', 'velvet', 'gorillaz', 'deathvegas' ]
+      return [ 'liquid', 'reed', 'velvet', 'gorillaz' ]
 
    # the vs-capable box for PLCs
    def plc_vs_boxes_spec (self):