# HG changeset patch
# User jwe
# Date 748512952 0
# Node ID 94582f2307be03eb136e36c0fc1bbc5028ce251d
# Parent  cb9692aa9245175cb142172b5a27abdaa6c30425
[project @ 1993-09-20 08:15:52 by jwe]
(builtin_clear (int, char **)): Don't delete g_names twice.

diff -r cb9692aa9245 -r 94582f2307be src/t-builtins.cc
--- a/src/t-builtins.cc	Mon Sep 20 08:15:06 1993 +0000
+++ b/src/t-builtins.cc	Mon Sep 20 08:15:52 1993 +0000
@@ -282,7 +282,6 @@
 
       delete [] names;
       delete [] g_names;
-      delete [] g_names;
 
     }
   return retval;