diff -r 9eac00ea588f -r dceba191c00d lemon/bits/windows.cc --- a/lemon/bits/windows.cc Fri Aug 09 14:07:27 2013 +0200 +++ b/lemon/bits/windows.cc Fri Aug 09 11:28:17 2013 +0200 @@ -2,7 +2,7 @@ * * This file is a part of LEMON, a generic C++ optimization library. * - * Copyright (C) 2003-2010 + * Copyright (C) 2003-2013 * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport * (Egervary Research Group on Combinatorial Optimization, EGRES). * @@ -140,7 +140,7 @@ _repr = 0; //Just to avoid 'unused variable' warning with clang #endif } - + WinLock::~WinLock() { #ifdef WIN32 CRITICAL_SECTION *lock = static_cast(_repr);