Automated Rust Crate Version Bump: Tue Mar 22 19:23:45 UTC 2022 6ccc663

mit-plv · Mar 22, 2022 · d8b3f3f · d8b3f3f
1 parent 6ccc663
commit d8b3f3f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fiat-rust/Cargo.toml b/fiat-rust/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fiat-crypto"
-version = "0.1.12"
+version = "0.1.13"
 authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
 edition = "2018"
 description = "Fiat-crypto generated Rust"