--- util.h	Wed Dec 11 17:21:48 2002
+++ util.h	Mon Feb 14 11:47:14 2005
@@ -58,5 +58,5 @@
 extern void lapply(List *, void(*)(void *));
 
-extern char *newString(char *);
+#define newString(t)	strdup(t)
 extern int doTest(enum Heuristics);
 
--- util.c	Wed Dec 11 18:07:50 2002
+++ util.c	Mon Feb 14 11:49:40 2005
@@ -105,10 +105,4 @@
 }
 
-char * newString(char *t)
-{
-    return strcpy(malloc(strlen(t)+1), t);
-}
-
-
 int doTest(enum Heuristics x)
 {