1.1 --- a/lemon/bits/windows.h	Fri Jan 20 19:08:00 2012 +0100
     1.2 +++ b/lemon/bits/windows.h	Sun Jan 29 11:28:41 2012 +0100
     1.3 @@ -28,6 +28,16 @@
     1.4                           double &cutime, double &cstime);
     1.5      std::string getWinFormattedDate();
     1.6      int getWinRndSeed();
     1.7 +
     1.8 +    class WinLock {
     1.9 +    public:
    1.10 +      WinLock();
    1.11 +      ~WinLock();
    1.12 +      void lock();
    1.13 +      void unlock();
    1.14 +    private:
    1.15 +      void *_repr;
    1.16 +    };
    1.17    }
    1.18  }
    1.19