Merge branch 'main' into toolchain-2023-11-08

model-checking · Nov 8, 2023 · 3c3c72c · 3c3c72c
2 parents 26ae2df + 0bde3ea
commit 3c3c72c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs
@@ -716,8 +716,8 @@ impl<'tcx> GotocCtx<'tcx> {
  trace!(func=?instance, "codegen_func_symbol");
  let func = self.symbol_name(instance);
  self.symbol_table
- .lookup(func)
- .expect("Function `{func}` should've been declared before usage")
+ .lookup(&func)
+ .unwrap_or_else(|| panic!("Function `{func}` should've been declared before usage"))
  };
  (sym, funct)
  }