diff options
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 1c7c2304..200ddd5a 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -14,7 +14,7 @@ extract: cheri_insts.sail $(call EXTRACT_INST,CSetOffset) $(call EXTRACT_INST,CSetBounds) $(call EXTRACT_INST,CClearTag) - $(call EXTRACT_INST,CClearRegs) + $(call EXTRACT_INST,ClearRegs) $(call EXTRACT_INST,CFromPtr) $(call EXTRACT_INST,CCheckPerm) $(call EXTRACT_INST,CCheckType) |