From 34e76797add2401dac79fd87ad3ef8f29186876c Mon Sep 17 00:00:00 2001
From: Tahina Ramananandro <taramana@microsoft.com>
Date: Fri, 12 Jan 2024 23:58:19 -0800
Subject: [PATCH] pulse2rust rustast_bindings: skip the dynamic library

---
 pulse2rust/src/ocaml/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pulse2rust/src/ocaml/Cargo.toml b/pulse2rust/src/ocaml/Cargo.toml
index d4f9b96ac..4cfabda9d 100644
--- 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]