From 9822125ef85fc9129624e46eacf188ac49dcd992 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 23 Jul 2018 13:15:08 +0100
Subject: [PATCH] convert gpio to getput

---
 src/peripherals/gpio/gpio.bsv | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/peripherals/gpio/gpio.bsv b/src/peripherals/gpio/gpio.bsv
index ff7ab71..34b1134 100644
--- 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;
-- 
2.30.2