//
// 2010-03-16 Paolo Carlini <paolo.carlini@oracle.com>
//
-// Copyright (C) 2010-2016 Free Software Foundation, Inc.
+// Copyright (C) 2010-2022 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()
{
- bool test __attribute__((unused)) = true;
-
std::cauchy_distribution<double> u(5.0, 2.0), v, w;
VERIFY( u != v );