--- src/preproc/html/pre-html.cc.ori	2003-03-30 00:10:59.000000000 +0100
+++ src/preproc/html/pre-html.cc	2003-03-30 01:35:41.000000000 +0100
@@ -307,7 +307,12 @@
   char *p;
   char *np;
   va_list ap;
+#if 0 /* pin */
   if ((p = (char *)malloc (size)) == NULL)
+#else
+  p = new char[size];
+  if (p == NULL)
+#endif
     return NULL;
   while (1) {
     /* Try to print in the allocated space. */
@@ -318,7 +323,11 @@
     if (n > -1 && n < size) {
       if (size > n+1) {
 	np = strsave(p);
+#if 0 /* pin */
 	free(p);
+#else
+        delete[] p;
+#endif
 	return np;
       }
       return p;
@@ -328,11 +337,19 @@
       size = n+1; /* precisely what is needed */
     else           /* glibc 2.0 */
       size *= 2;  /* twice the old size */
+#if 0 /* pin */
     if ((np = (char *)realloc (p, size)) == NULL) {
       free(p);  /* realloc failed, free old, p. */
       return NULL;
     }
     p = np;  /* use realloc'ed, p */
+#else
+    delete[] p;
+    p = new char[size];
+    if(p == NULL){
+      return NULL;
+    }
+#endif
   }
 }