diff -r eb252f805431 -r 43a91b33f374 lemon/bits/windows.h
--- a/lemon/bits/windows.h	Fri Jan 20 19:08:00 2012 +0100
+++ b/lemon/bits/windows.h	Sun Jan 29 11:28:41 2012 +0100
@@ -28,6 +28,16 @@
                          double &cutime, double &cstime);
     std::string getWinFormattedDate();
     int getWinRndSeed();
+
+    class WinLock {
+    public:
+      WinLock();
+      ~WinLock();
+      void lock();
+      void unlock();
+    private:
+      void *_repr;
+    };
   }
 }