From d8b3f3f37c7aa7d1c297e3625911c45ad8322ff9 Mon Sep 17 00:00:00 2001
From: Automated Publisher <actions@users.noreply.github.com>
Date: Tue, 22 Mar 2022 19:23:45 +0000
Subject: [PATCH] Automated Rust Crate Version Bump: Tue Mar 22 19:23:45 UTC
 2022 6ccc6638716d4632304baf1adbb5c47c3a12ea6f

---
 fiat-rust/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fiat-rust/Cargo.toml b/fiat-rust/Cargo.toml
index 5ceb3d70e6..5400b03bb3 100644
--- 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"