head	1.1;
access;
symbols;
locks; strict;
comment	@ * @;


1.1
date	2026.07.26.06.14.13;	author rillig;	state Exp;
branches;
next	;
commitid	hOEg9jeEVT5oY7PG;


desc
@@


1.1
log
@math/otter: clean up

Remove ".." from the files to be patched by adjusting WRKSRC.

Add patches needed for C23.
@
text
@$NetBSD$

Fix typo.

--- source/proto.h.orig	1999-12-01 22:39:40.000000000 +0000
+++ source/proto.h
@@@@ -542,7 +542,7 @@@@ void dp_transform();
 void dp_p_term();
 int clause_to_pair();
 void dp_transform();
-void igcns_transform();
+void icgns_transform();
 
 /* check.c */
 
@