diff --git a/compiler/rustc_codegen_llvm/src/gotoc/cbmc/goto_program/symtab_transformer/identity_transformer.rs b/compiler/rustc_codegen_llvm/src/gotoc/cbmc/goto_program/symtab_transformer/identity_transformer.rs
index a4404e47e607..4a54b998ba6a 100644
--- a/compiler/rustc_codegen_llvm/src/gotoc/cbmc/goto_program/symtab_transformer/identity_transformer.rs
+++ b/compiler/rustc_codegen_llvm/src/gotoc/cbmc/goto_program/symtab_transformer/identity_transformer.rs
@@ -331,9 +331,9 @@ mod tests {
     fn transmute_to_expr() {
         let mut original = empty_symtab();
         let sym = Symbol::constant(
-            "tt",
-            "tt",
-            "tt",
+            "transmuted",
+            "transmuted",
+            "transmuted",
             Expr::array_expr(Type::c_int().array_of(1), vec![Expr::int_constant(3, Type::c_int())])
                 .transmute_to(Type::c_int(), &original),
             Location::none(),