diff -dur cudd-2.4.1.ORIG/util/texpand.c cudd-2.4.1/util/texpand.c
--- cudd-2.4.1.ORIG/util/texpand.c	2004-01-01 09:49:21.000000000 -0700
+++ cudd-2.4.1/util/texpand.c	2006-02-20 14:57:37.000000000 -0700
@@ -14,9 +14,6 @@
 #ifdef BSD
     struct passwd *userRecord;
     char username[256], *filename;
-#ifndef _IBMR2
-    char *strcat (char *, const char *);
-#endif
     register int i, j;
 
     filename = ALLOC(char, strlen(fname) + 256);