From 2bbc140926a290baf96ef08389861ae1b91362a6 Mon Sep 17 00:00:00 2001 From: Thomas Del Vecchio Date: Wed, 21 Jul 2021 09:36:41 -0400 Subject: [PATCH] Remove string that tripped open source alarm. --- .../goto_program/symtab_transformer/identity_transformer.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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(),