Fix typo

Wasm-DSL · Aug 2, 2024 · 7f24356 · 7f24356
1 parent 4a1a657
commit 7f24356
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/spectec/src/al/al_util.ml b/spectec/src/al/al_util.ml
@@ -241,8 +241,6 @@ let unwrap_framev: value -> value = function
   | FrameV (_, v) -> v
   | v -> fail_value "unwrap_framev" v
 
-let get_
-
 
 (* Il Types *)