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

---
 src/peripherals/gpio/gpio.bsv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/peripherals/gpio/gpio.bsv b/src/peripherals/gpio/gpio.bsv
index 34b1134..c43c23e 100644
--- a/src/peripherals/gpio/gpio.bsv
+++ b/src/peripherals/gpio/gpio.bsv
@@ -193,7 +193,7 @@ package gpio;
 	  	endmethod
       endinterface;
       interface gpio_out = interface Get#(ionum)
-	  	method Vector#(ionum,Bit#(1))  get;
+	  	method Vector#(ionum_,Bit#(1))  get;
 	  		Vector#(ionum,Bit#(1)) temp;
 	  		for(Integer i=0;i<ionum;i=i+1)
 	  			temp[i]=dataout_register[i];
@@ -201,7 +201,7 @@ package gpio;
 	  	endmethod
       endinterface;
       interface gpio_out_en = interface Get#(ionum)
-	  	method Vector#(ionum,Bit#(1))   get;
+	  	method Vector#(ionum_,Bit#(1))   get;
 	  		Vector#(ionum,Bit#(1)) temp;
 	  		for(Integer i=0;i<ionum;i=i+1)
 	  			temp[i]=pack(direction_reg[i]);
-- 
2.30.2