// { dg-do compile }
-// { dg-options "-std=gnu++1y" }
-// { dg-require-cstdint "" }
+// { dg-options "-std=gnu++17" }
// { dg-require-gthreads "" }
-// Copyright (C) 2013-2014 Free Software Foundation, Inc.
+// Copyright (C) 2015-2020 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
void test01()
{
// assign
- typedef std::shared_timed_mutex mutex_type;
+ typedef std::shared_mutex mutex_type;
mutex_type m1;
mutex_type m2(m1); // { dg-error "deleted" }
}