From 6acb6cb4c097e80ece1912ea5b07c77ca214cf55 Mon Sep 17 00:00:00 2001 From: Romy Tsoupidi Date: Sun, 17 May 2020 11:44:23 +0200 Subject: [PATCH] Change cost type from integer to vector. --- src/solvers/multi_backend/portfolio.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)]