pulse2rust rustast_bindings: skip the dynamic library

FStarLang · Jan 13, 2024 · 34e7679 · 34e7679
1 parent 4320b6e
commit 34e7679
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pulse2rust/src/ocaml/Cargo.toml b/pulse2rust/src/ocaml/Cargo.toml
@@ -7,7 +7,7 @@ authors = ["Aseem Rastogi"]
 edition = "2018"
 
 [lib]
-crate-type = ["staticlib", "cdylib"]
+crate-type = ["staticlib"]
 path = "rust/src/lib.rs"
 
 [dependencies]