From 97c797e61bd4bb7518ca1d94b9efa9ff3825c3f8 Mon Sep 17 00:00:00 2001 From: lkcl Date: Fri, 14 Jun 2019 15:03:15 +0100 Subject: [PATCH] --- isa_conflict_resolution/isamux_isans.mdwn | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/isa_conflict_resolution/isamux_isans.mdwn b/isa_conflict_resolution/isamux_isans.mdwn index d3f3d43c1..b638d8cb1 100644 --- a/isa_conflict_resolution/isamux_isans.mdwn +++ b/isa_conflict_resolution/isamux_isans.mdwn @@ -118,7 +118,6 @@ MISANS, MTRAPISANS, MLASTISANS and so on):
 trap_entry()
 {
-
     LAST-ISANS = ISANS // record the old NS
     ISANS = TRAP_ISANS // traps are executed in "trap" NS
 }
@@ -147,7 +146,7 @@ Open question: see 
 
-- 
2.30.2