diff src/ov-usr-fcn.cc @ 4239:90db7796adc2

[project @ 2002-12-25 21:47:43 by jwe]
author jwe
date Wed, 25 Dec 2002 21:47:43 +0000
parents a5a68c0afe56
children 610671be8792
line wrap: on
line diff
--- a/src/ov-usr-fcn.cc	Wed Dec 25 21:04:34 2002 +0000
+++ b/src/ov-usr-fcn.cc	Wed Dec 25 21:47:43 2002 +0000
@@ -276,7 +276,7 @@
 clear_symbol_table (void *table)
 {
   symbol_table *tmp = static_cast<symbol_table *> (table);
-  tmp->clear_variables ();
+  tmp->clear ();
 }
 
 static void