Fix dangling doxygen ref.

remi-delmas-3000 · Jan 3, 2025 · b6bae90 · b6bae90
1 parent 39f9c87
commit b6bae90
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/goto-instrument/contracts/dynamic-frames/dfcc_instrument.h b/src/goto-instrument/contracts/dynamic-frames/dfcc_instrument.h
@@ -285,8 +285,6 @@ class dfcc_instrumentt
 
   /// Instrument the \p lhs of an `ASSIGN lhs := rhs` instruction by
   /// adding an inclusion check of \p lhs in \p write_set.
-  /// If \ref is_dead_object_update returns a successful match, the matched
-  /// pointer expression is removed from \p write_set.
   /// If \p rhs is a `side_effect_expr(ID_allocate)`, the allocated pointer gets
   /// added to the \p write_set.
   /// \pre \p target points to an `ASSIGN` instruction.