diff --git a/src/solvers/multi_backend/portfolio.hs b/src/solvers/multi_backend/portfolio.hs index 9b091393..e5dfb142 100644 --- a/src/solvers/multi_backend/portfolio.hs +++ b/src/solvers/multi_backend/portfolio.hs @@ -272,7 +272,7 @@ maybeBase baseOutFile (best, bestOut) = baseOut = toJSONString $ M.fromList baseSolution baseSolution = [("solver", toJSON ("no-solver" :: String)), - ("cost", toJSON (-1 :: Integer)), + ("cost", toJSON ([-1] :: [Integer])), ("has_solution", toJSON False), ("proven" :: String, toJSON False)]