From 22002d352c04f93f67cb28471722bb1f0e48329d Mon Sep 17 00:00:00 2001
From: Jan Schultke <me@eisenwave.net>
Date: Tue, 22 Oct 2024 09:26:56 +0200
Subject: [PATCH] [func.wrap.func.con] Fix ill-formed postcondition

---
 source/utilities.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/utilities.tex b/source/utilities.tex
index 2f66d7d65f..61285bf24b 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -13170,7 +13170,7 @@
 \pnum
 \ensures
 \tcode{!*this} if \tcode{!f}; otherwise,
-the target object of \tcode{*this} is a copy of \tcode{f.target()}.
+the target object of \tcode{*this} is a copy of the target object of \tcode{f}.
 
 \pnum
 \throws