diff src/variables.h @ 4016:139f5273d0f8

[project @ 2002-08-02 22:55:51 by jwe]
author jwe
date Fri, 02 Aug 2002 22:55:51 +0000
parents 27e461aed956
children e96f52432059
line wrap: on
line diff
--- a/src/variables.h
+++ b/src/variables.h
@@ -106,6 +106,10 @@
 		       symbol_record::change_function f = 0,
 		       const std::string& help = std::string ());
 
+extern int
+symbol_exist (const std::string& name,
+	      const std::string& type = std::string ());
+
 // Symbol table for symbols at the top level.
 extern symbol_table *top_level_sym_tab;