From 1e44517f354d463e8b9ea36c2e67ea3f0913f46a Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Mon, 22 Jan 2024 17:27:58 -0800
Subject: [PATCH] One more directive

---
 lib/OutputRust.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/OutputRust.ml b/lib/OutputRust.ml
index dcfdf4a0..ba5ede75 100644
--- a/lib/OutputRust.ml
+++ b/lib/OutputRust.ml
@@ -6,6 +6,7 @@ let directives = String.trim {|
 #![allow(non_snake_case)]
 #![allow(non_upper_case_globals)]
 #![allow(non_camel_case_types)]
+#![allow(unused_assignments)]
 |}
 
 let rust_name f = f ^ ".rs"