non_camel_case_types as inner attribute

mit-plv · Dec 13, 2021 · 176d9c3 · 176d9c3
1 parent f340435
commit 176d9c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Stringification/Rust.v b/src/Stringification/Rust.v
@@ -71,7 +71,7 @@ Module Rust.
        let type_prefix := (if internal_private then "type " else "pub type ")%string in
        (["";
         "#![allow(unused_parens)]";
-        "#[allow(non_camel_case_types)]";
+        "#![allow(non_camel_case_types)]";
         ""]%string
            ++ (List.flat_map
                  (fun bw