#include <vector>
#include <string>
Go to the source code of this file.
Definition at line 36 of file Identifier.cxx.
00037 { 00038 return (os<<Id.getString()); 00039 }