// // $Id: BbrStdSetDDL.hh,v 1.1.1.1 2005/03/29 16:49:16 steinke Exp $ // // To work around a stupid problem where the ddl compiler removes the // using statement. // // Only to be used in ddl files!!!! // #include using std::set;