]> git.ipfire.org Git - thirdparty/man-pages.git/commitdiff
difftime.3: Don't suggest redefining a reserved identifier
authorAlejandro Colomar <alx@kernel.org>
Sun, 2 Apr 2023 23:39:18 +0000 (01:39 +0200)
committerAlejandro Colomar <alx@kernel.org>
Sun, 2 Apr 2023 23:39:18 +0000 (01:39 +0200)
Signed-off-by: Alejandro Colomar <alx@kernel.org>
man3/difftime.3

index 60d348977694708aa4194d24710e383eb3a13fc2..4ecb160ba550595d303a670cfe524481b83ad802 100644 (file)
@@ -58,7 +58,7 @@ define
 .PP
 .in +4n
 .EX
-#define difftime(t1,t0) (double)(t1 \- t0)
+#define my_difftime(t1,t0) (double)(t1 \- t0)
 .EE
 .in
 .PP