diff -r cd72eae05bdf -r 3c00344f49c9 lemon/bits/windows.h
--- a/lemon/bits/windows.h	Mon Jul 16 16:21:40 2018 +0200
+++ b/lemon/bits/windows.h	Wed Oct 17 19:14:07 2018 +0200
@@ -2,7 +2,7 @@
  *
  * This file is a part of LEMON, a generic C++ optimization library.
  *
- * Copyright (C) 2003-2009
+ * Copyright (C) 2003-2013
  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
  * (Egervary Research Group on Combinatorial Optimization, EGRES).
  *
@@ -19,6 +19,7 @@
 #ifndef LEMON_BITS_WINDOWS_H
 #define LEMON_BITS_WINDOWS_H
 
+#include <lemon/config.h>
 #include <string>
 
 namespace lemon {
@@ -28,6 +29,16 @@
                          double &cutime, double &cstime);
     std::string getWinFormattedDate();
     int getWinRndSeed();
+
+    class WinLock {
+    public:
+      WinLock();
+      ~WinLock();
+      void lock();
+      void unlock();\
+    private:
+      void *_repr;
+    };
   }
 }