package mining

// This file is intentionally left with only a package declaration
// to resolve a redeclaration error. The ManagerInterface is defined
// in manager.go.