// -*- C++ -*- std::terminate, std::unexpected and friends.
-// Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2009,
-// 2011
-// Free Software Foundation
+// Copyright (C) 1994-2013 Free Software Foundation, Inc.
//
// This file is part of GCC.
//