convert gpio to getput

diff --git a/src/peripherals/gpio/gpio.bsv b/src/peripherals/gpio/gpio.bsv
index 84e54bedfc52bae0b5feddf3ee092924af9efb0b..ff7ab71342cf058f667e5de8de018ad6722cdf5b 100644 (file)
--- a/src/peripherals/gpio/gpio.bsv
+++ b/src/peripherals/gpio/gpio.bsv
@@ -27,11 +27,11 @@ package gpio;
 
        interface GPIO_func#(numeric type ionum);
                (*always_ready,always_enabled*)
-        interface Put#(Vector#(ionum,Bit#(1)) gpio_in;
+        interface Put#(Vector#(ionum,Bit#(1))) gpio_in;
                (*always_ready*)
-        interface Get#(Vector#(ionum,Bit#(1)) gpio_out;
+        interface Get#(Vector#(ionum,Bit#(1))) gpio_out;
                (*always_ready*)
-        interface Get#(Vector#(ionum,Bit#(1)) gpio_out_en;
+        interface Get#(Vector#(ionum,Bit#(1))) gpio_out_en;
   endinterface
        interface GPIO_config#(numeric type ionum);
                (*always_ready*)