From 84ca5cc88d16a9a0758aa0d3816bb1baa54f1ca6 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 27 Jul 2016 16:27:52 +0100
Subject: Fix misspelt marker comment.

---
 cheri/cheri_insts.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index e9414547..1a741353 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -219,7 +219,7 @@ function clause decode (0b010010 : 0b01110 : (regno) rd : (regno) cb : (regno) c
 
 function clause execute(CPtrCmp(rd, cb, ct, op)) = 
 {
-  (* START_CPtrCMP *)
+  (* START_CPtrCmp *)
   checkCP2usable();
   if (register_inaccessible(cb)) then
     exit (raise_c2_exception_v(cb))
@@ -258,7 +258,7 @@ function clause execute(CPtrCmp(rd, cb, ct, op)) =
         case CEXEQ -> [cb_val == ct_val]
       })
     }
-  (* END_CPtrCMP *)
+  (* END_CPtrCmp *)
 }
 
 union ast member regregreg CIncOffset
-- 
cgit v1.2.3