diff --git a/kore/src/SMT/SimpleSMT.hs b/kore/src/SMT/SimpleSMT.hs
index 8d826b111b9..e18943293ce 100644
--- a/kore/src/SMT/SimpleSMT.hs
+++ b/kore/src/SMT/SimpleSMT.hs
@@ -752,7 +752,7 @@ sexprToVal expr =
             | Int a <- sexprToVal x -> Int (negate a)
         List [Atom "/", x, y]
             | Int a <- sexprToVal x
-            , Int b <- sexprToVal y ->
+              , Int b <- sexprToVal y ->
                 Real (a % b)
         _ -> Other expr
   where