// Forbid the use of copy constructor and assignment operator
BatchManagerCatalog(const BatchManagerCatalog & orig) {}
- BatchManagerCatalog& operator=(const BatchManagerCatalog & orig) { return *this; }
+ void operator=(const BatchManagerCatalog & orig) {}
};