[CN-Test-Gen] Fix typo in C expression generation

ZippeyKeys12 · Jul 17, 2024 · 773f537 · 773f537
1 parent 612fbd5
commit 773f537
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/backend/cn/testGeneration.ml b/backend/cn/testGeneration.ml
@@ -749,7 +749,7 @@ let rec codify_it_ (e : BT.t IT.term_) : string option =
        | Const (Bits ((Unsigned, bits), n)) when bits <= 64 ->
          Int64.to_string (Z.to_int64 n) ^ "ULL"
        | Const (Bool b) -> string_of_bool b
-       | Sym x -> Sym.pp_string x
+       | Sym x -> codify_sym x
        | Unop (Not, e') -> "(!" ^ codify_it e' ^ ")"
        | Unop (Negate, e') -> "(-" ^ codify_it e' ^ ")"
        | Binop (And, e1, e2) -> "(" ^ codify_it e1 ^ " && " ^ codify_it e2 ^ ")"