convert gpio to getput

diff --git a/src/peripherals/gpio/gpio.bsv b/src/peripherals/gpio/gpio.bsv
index ff7ab71342cf058f667e5de8de018ad6722cdf5b..34b113410b0812b1c5dd0408b66d9a8edd54fc69 100644 (file)
--- a/src/peripherals/gpio/gpio.bsv
+++ b/src/peripherals/gpio/gpio.bsv
@@ -207,6 +207,7 @@ package gpio;
                                temp[i]=pack(direction_reg[i]);
                        return temp;
                endmethod
+      endinterface;
     endinterface;
     interface pad_config=interface GPIO_config
                method Vector#(ionum,Bit#(1))   gpio_DRV0;