Merge pull request #4424 from DanilaFe/fix-attr-from-json

Fix conversion from JSON to fetch attributes
This commit is contained in:
Eelco Dolstra 2021-01-05 11:14:22 +01:00 committed by GitHub
commit c51ee5c033
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,7 +15,7 @@ Attrs jsonToAttrs(const nlohmann::json & json)
else if (i.value().is_string())
attrs.emplace(i.key(), i.value().get<std::string>());
else if (i.value().is_boolean())
attrs.emplace(i.key(), i.value().get<bool>());
attrs.emplace(i.key(), Explicit<bool> { i.value().get<bool>() });
else
throw Error("unsupported input attribute type in lock file");
}