SimplicityHl: use released version 0.3

Author: apoelstra

Cargo.lock

@@ -14,7 +14,7 @@ lib-profile-release = "wasm-release"
 
 [dependencies]
 itertools = "0.13.0"
-simplicityhl = { version = "0.2.0" }
+simplicityhl = { version = "0.3.0" }
 leptos = { version = "0.6.14", features = ["csr"] }
 leptos_router = { version = "0.6.15", features = ["csr"] }
 console_error_panic_hook = "0.1.7"

Cargo.toml

@@ -14,9 +14,11 @@ pub fn execute_jet_with_env<J: Jet>(
     input: &Value,
     env: &J::Environment,
 ) -> Result<Value, JetFailed> {
-    let prog = Arc::<ConstructNode<J>>::jet(&Context::new(), *jet)
-        .finalize_unpruned()
-        .expect("a single jet definitely typechecks");
+    let prog = Context::with_context(|ctx| {
+        Arc::<ConstructNode<J>>::jet(&ctx, *jet)
+            .finalize_unpruned()
+            .expect("a single jet definitely typechecks")
+    });
 
     let mut mac = BitMachine::for_program(&prog).expect("a single jet is within limits");