add vectorised gpio interface
[pinmux.git] / src / bsv / pinmux_generator.py
index 67e018c78ef4796d1523b33da1f56fa7e4e9039c..881f99b2b56e8fe3ccc9aa26b33d24b70e8f371d 100644 (file)
@@ -40,6 +40,7 @@ header = copyright + '''
 package pinmux;
 
 import GetPut::*;
+import Vector::*;
 
 '''
 footer = '''