making rustdoc happy

model-checking · Jun 23, 2023 · 63138a1 · 63138a1
1 parent 44b540d
commit 63138a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/intrinsic.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/intrinsic.rs
@@ -133,7 +133,7 @@ impl<'tcx> GotocCtx<'tcx> {
  /// the specific code gen/backend. In such cases we handle the type checking
  /// here. The type constraints enforced here must be at least as strict as
  /// the assertions made in in the builder functions in
- /// [`cprover_bindings::goto_program::expr`].
+ /// [`Expr`].
  fn codegen_intrinsic(
  &mut self,
  instance: Instance<'tcx>,