From d87e934096de9879764f9e90e17915e979d4d6b5 Mon Sep 17 00:00:00 2001
From: Minhyuk Kim <kimminhyuk1004@gmail.com>
Date: Thu, 17 Oct 2024 15:06:18 -0600
Subject: [PATCH] Fix lint

---
 rvsol/src/RISCV.sol | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/rvsol/src/RISCV.sol b/rvsol/src/RISCV.sol
index 0bc6ce3..b8d3b5e 100644
--- a/rvsol/src/RISCV.sol
+++ b/rvsol/src/RISCV.sol
@@ -861,7 +861,6 @@ contract RISCV {
                     let fd := getRegister(toU64(14))
                     // A5 = offset (offset in file, we don't support any non-anon memory, so we can ignore this)
 
-
                     let errCode := 0
                     // ensure MAP_ANONYMOUS is set and fd == -1
                     switch or(iszero(eq(flags, 0x20)), iszero(eq(fd, u64Mask())))
@@ -1499,7 +1498,8 @@ contract RISCV {
                         setPC(add64(_pc, toU64(4))) // ignore breakpoint
                     }
                 }
-                default { // CSR instructions
+                default {
+                    // CSR instructions
                     setRegister(rd, toU64(0)) // ignore CSR instructions
                     setPC(add64(_pc, toU64(4)))
                 }
@@ -1522,7 +1522,7 @@ contract RISCV {
 
                 let addr := getRegister(rs1)
                 if and64(addr, toU64(3)) {
-                // quick addr alignment check
+                    // quick addr alignment check
                     revertWithCode(0xbad10ad0) // addr not aligned with 4 bytes
                 }