From f11156ef9aba6ae0d95e83e9f0d727817ec9515b Mon Sep 17 00:00:00 2001 From: Peter Rugg Date: Wed, 25 Jan 2023 16:11:52 +0000 Subject: [PATCH] Remove non-ascii characters --- CHERICC_Fat.bsv | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv index caec8dc..488073d 100644 --- a/CHERICC_Fat.bsv +++ b/CHERICC_Fat.bsv @@ -713,9 +713,9 @@ function VnD#(CapFat) incOffsetFat( CapFat cap // The inRange test // ---------------- // Conceptually, the inRange test checks the magnitude of 'offset' is less - // then the representable region’s size S. This ensures that the inLimits + // then the representable region's size S. This ensures that the inLimits // test result is meaningful. The test succeeds if the absolute value of - // 'offset' is less than S, that is −S < 'offset' < S. This test reduces to a + // 'offset' is less than S, that is -S < 'offset' < S. This test reduces to a // check that there are no significant bits in the high bits of 'offset', // that is they are all ones or all zeros. CapAddr offsetAddr = offset;