diff --git a/S/SMTLib/Versions.toml b/S/SMTLib/Versions.toml
index 2dbd158..b46574b 100644
--- a/S/SMTLib/Versions.toml
+++ b/S/SMTLib/Versions.toml
@@ -1,2 +1,5 @@
 ["0.2.1"]
 git-tree-sha1 = "05a805f35b2b6f235e0d0585c58d594a3f2b219e"
+
+["0.2.2"]
+git-tree-sha1 = "ac26d7107a5e379908388f4db0a1c21cdff1d581"