Fix build

Author: toolCHAINZ

Cargo.toml

@@ -25,7 +25,7 @@ bundled = ["z3/bundled"]
 opt-level = 3
 
 [dependencies]
-jingle = { git = "https://github.com/toolCHAINZ/jingle", branch = "dev", features = ["gimli"] }
+jingle = { git = "https://github.com/toolCHAINZ/jingle", branch = "main", features = ["gimli"] }
 z3 = { git = "https://github.com/prove-rs/z3.rs.git", branch = "master" }
 serde = { version = "1.0.203", features = ["derive"] }
 thiserror = "1.0.58"