whitespace

LeventErkok · Jan 3, 2024 · 59879d3 · 59879d3
1 parent 295155b
commit 59879d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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