From 3bbb338c5aba051d51d956e2c076339ad4752442 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Tue, 21 Feb 2023 14:48:50 +0000
Subject: [PATCH] Format with fourmolu

---
 kore/src/SMT/SimpleSMT.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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