From ba95fc9a01eaa81d417f284b3064e20f6500cf30 Mon Sep 17 00:00:00 2001
From: Alexandre Joannou <aj443@cam.ac.uk>
Date: Thu, 27 Feb 2020 13:52:07 +0000
Subject: [PATCH] Typo "inOffset" -> "incOffset"

---
 CHERICapWrap.bsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHERICapWrap.bsv b/CHERICapWrap.bsv
index fe78901..62a9658 100644
--- a/CHERICapWrap.bsv
+++ b/CHERICapWrap.bsv
@@ -81,7 +81,7 @@ function Exact#(`CAPTYPE) `W(modifyOffset) (`CAPTYPE cap, Bit#(CapAddressW) offs
 (* noinline *)
 function Exact#(`CAPTYPE) `W(setOffset) (`CAPTYPE cap, Bit#(CapAddressW) offset) = setOffset (cap, offset);
 (* noinline *)
-function Exact#(`CAPTYPE) `W(inOffset) (`CAPTYPE cap, Bit#(CapAddressW) inc) = incOffset (cap, inc);
+function Exact#(`CAPTYPE) `W(incOffset) (`CAPTYPE cap, Bit#(CapAddressW) inc) = incOffset (cap, inc);
 (* noinline *)
 function Bit#(CapAddressW) `W(getBase) (`CAPTYPE cap) = getBase(cap);
 (* noinline *)