text: //==================================================================
  /// DCriticalSection.h
  ///
  /// Created by Davide Pasca - 2009/8/1
  /// See the file "license.txt" that comes with this project for
  /// copyright info.
  //==================================================================
  
  #ifndef DCRITICALSECTION_H
  #define DCRITICALSECTION_H
  
  #include <mutex>
  
  //==================================================================
  namespace DUT
  {
  
  using CriticalSection = std::mutex;
  
  //==================================================================
  }
  
  #endif
  