Index: symbol.cpp
===================================================================
RCS file: /home/cvs/GiNaC/ginac/symbol.cpp,v
retrieving revision 1.53
diff -r1.53 symbol.cpp
317a318,327
> //////////
> // utility functions
> //////////
> 
> /** Utility function to make a real symbol. */
> ex real_symbol(const std::string& name)
> {
>    return (new symbol(name, symbol_options::real))->setflag(status_flags::dynallocated);
> }
> 
Index: symbol.h
===================================================================
RCS file: /home/cvs/GiNaC/ginac/symbol.h,v
retrieving revision 1.53
diff -r1.53 symbol.h
112a113,115
> /** Utility function to make a real symbol. */
> ex real_symbol(const std::string& name);
>