modelator version 0.2.1

informalsystems · Aug 17, 2021 · 786ced7 · 786ced7
1 parent 561ace4
commit 786ced7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/modelator/Cargo.toml b/modelator/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "modelator"
 description = "A framework and tools for model-based testing."
-version = "0.2.0"
+version = "0.2.1"
 edition = "2018"
 license    = "Apache-2.0"
 readme     = "README.md"