//-----------------------------------------------
// empty.h
//-----------------------------------------------

#ifndef empty_h
#define empty_h

//-----------------------------------------------

class empty_lock
{
public:
    empty_lock(int) {}
    void reader_lock() {}
    void reader_unlock() {}
    void writer_lock() {}
    void writer_unlock() {}
};

//-----------------------------------------------

#endif // empty_h