diff --git a/P/PDDL/Versions.toml b/P/PDDL/Versions.toml index df09b89c69941c3..ff6853f93b02a64 100644 --- a/P/PDDL/Versions.toml +++ b/P/PDDL/Versions.toml @@ -63,3 +63,6 @@ git-tree-sha1 = "3a521775f1434a48e95ea08c62d36c8a07821588" ["0.2.17"] git-tree-sha1 = "ce095968ee4edd0942c7845bba16c9b63b7cfc5d" + +["0.2.18"] +git-tree-sha1 = "df1e12fb86d1f081833a74249335aa02657be774"