One more directive

FStarLang · Jan 23, 2024 · 1e44517 · 1e44517
1 parent 65a3310
commit 1e44517
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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"