From 05daaef9d1413a297fd65bbb972a156e62a53575 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 23 Jul 2018 07:56:14 +0100
Subject: [PATCH] add zero provisos

---
 src/peripherals/rgbttl/rgbttl_dummy.bsv | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/peripherals/rgbttl/rgbttl_dummy.bsv b/src/peripherals/rgbttl/rgbttl_dummy.bsv
index 19dfd1e..db1b479 100644
--- a/src/peripherals/rgbttl/rgbttl_dummy.bsv
+++ b/src/peripherals/rgbttl/rgbttl_dummy.bsv
@@ -47,6 +47,8 @@ package rgbttl_dummy;
 
   (*synthesize*)
   module mkrgbttl_dummy(Ifc_rgbttl_dummy#(buswidth))
+        provisos(
+        );
 	  	AXI4_Lite_Slave_Xactor_IFC#(`ADDR,`DATA, `USERSPACE)
                             s_xactor<-mkAXI4_Lite_Slave_Xactor();
       let v_buswidth = valueOf(v_buswidth);
-- 
2.30.2