removed the "some_*" and "typeid_*" definitions since we are using our own

[ginac.git] / ginac / symbol.h

diff --git a/ginac/symbol.h b/ginac/symbol.h
index 927e0b534d66a6761ed13cb9463789595430a9b6..20c5468b0b19c6becb5b568d29075590bb743aa2 100644 (file)
--- a/ginac/symbol.h
+++ b/ginac/symbol.h
@@ -112,11 +112,6 @@ private:
        static unsigned next_serial;
 };
 
-// global constants
-
-extern const symbol some_symbol;
-extern const std::type_info & typeid_symbol;
-
 // utility functions
 inline const symbol &ex_to_symbol(const ex &e)
 {