diff --git a/source/dub/project.d b/source/dub/project.d index a3d6ea4..2e18433 100644 --- a/source/dub/project.d +++ b/source/dub/project.d @@ -1872,7 +1872,7 @@ deprecated("JSON deserialization is deprecated") private void deserialize(Json json) { - const fileVersion = cast(int)json["fileVersion"]; + const fileVersion = json["fileVersion"].get!int; enforce(fileVersion == FileVersion, "Mismatched dub.selections.json version: " ~ to!string(fileVersion) ~ " vs. " ~ to!string(FileVersion)); clear(); m_selections.fileVersion = fileVersion;