simplify implementation of owi_char

OCamlPro · Jul 31, 2024 · dbff7f9 · dbff7f9
1 parent 4857582
commit dbff7f9
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/symbolic/symbolic_wasm_ffi.ml b/src/symbolic/symbolic_wasm_ffi.ml
@@ -35,9 +35,7 @@ module M :
     Choice.with_new_symbol (Ty_bitv 8) (fun sym ->
         Expr.make (Cvtop (Ty_bitv 32, Zero_extend 24, Expr.symbol sym)) )
 
-  let symbol_char () =
-    Choice.with_new_symbol (Ty_bitv 8) (fun sym ->
-        Expr.make (Cvtop (Ty_bitv 32, Zero_extend 24, Expr.symbol sym)) )
+  let symbol_char = symbol_i8
 
   let symbol_i32 () = Choice.with_new_symbol (Ty_bitv 32) Expr.symbol