From 38ea40a8c9764fa6600141f5ec13d4b5c81d80b7 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 2 Mar 2018 13:36:04 +0000
Subject: add space in cap dump format to match that expected by test
 framework.

---
 cheri/cheri_prelude_common.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cheri')

diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail
index ac9d4a89..c11bfc8d 100644
--- a/cheri/cheri_prelude_common.sail
+++ b/cheri/cheri_prelude_common.sail
@@ -410,6 +410,6 @@ function capToString cap =
 function dump_cp2_state () = {
   print(concat_str("DEBUG CAP PCC", capToString(capRegToCapStruct(PCC))));
   foreach(i from 0 to 31) {
-    print(concat_str("DEBUG CAP REG", concat_str(string_of_int(i), capToString(readCapReg(to_bits(5, i))))))
+    print(concat_str("DEBUG CAP REG ", concat_str(string_of_int(i), capToString(readCapReg(to_bits(5, i))))))
   }
 }
\ No newline at end of file
-- 
cgit v1.2.3