diff --git a/src/symbolic/symbolic_wasm_ffi.ml b/src/symbolic/symbolic_wasm_ffi.ml
index 75500ec8c..901c70573 100644
--- 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