From 59879d38c62b480dfd3edc854fc2c82723dbfc86 Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Wed, 3 Jan 2024 11:03:41 -0800 Subject: [PATCH] whitespace --- Data/SBV/SMT/SMT.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Data/SBV/SMT/SMT.hs b/Data/SBV/SMT/SMT.hs index ca1907142..0326f9231 100644 --- a/Data/SBV/SMT/SMT.hs +++ b/Data/SBV/SMT/SMT.hs @@ -584,7 +584,7 @@ showModelDictionary warnEmpty includeEverything cfg allVars showModelUI :: SMTConfig -> (String, (Bool, SBVType, Either String ([([CV], CV)], CV))) -> String showModelUI cfg (nm, (isCurried, SBVType ts, interp)) = intercalate "\n" $ case interp of - Left e -> [" " ++ l | l <- [sig, e]] + Left e -> [" " ++ l | l <- [sig, e]] Right ds -> [" " ++ l | l <- sig : mkBody ds] where noOfArgs = length ts - 1