Format with fourmolu

runtimeverification · Feb 21, 2023 · 3bbb338 · 3bbb338
1 parent ab95859
commit 3bbb338
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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