From dee8e5c004bc3eb13a6470f3e3c5947ca7d2be64 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 10 Mar 2017 10:48:55 +0000
Subject: Extract CGetLen from cheri sail.

---
 cheri/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cheri/Makefile b/cheri/Makefile
index 4e9a397a..813902a2 100644
--- a/cheri/Makefile
+++ b/cheri/Makefile
@@ -5,6 +5,7 @@ extract: cheri_insts.sail
 	$(call EXTRACT_INST,CGetType)
 	$(call EXTRACT_INST,CGetBase)
 	$(call EXTRACT_INST,CGetOffset)
+	$(call EXTRACT_INST,CGetLen)
 	$(call EXTRACT_INST,CGetTag)
 	$(call EXTRACT_INST,CGetSealed)
 	$(call EXTRACT_INST,CGetPCC)
-- 
cgit v1.2.3