cmake: Disable C++ GNU extensions. (#3446)

[cvc5.git] / src / util / random.cpp

diff --git a/src/util/random.cpp b/src/util/random.cpp
index 7c6abd33e5889531143bca006092590a913b389e..325fac325009304806a00dffcd654ef7d59caa8c 100644 (file)
--- a/src/util/random.cpp
+++ b/src/util/random.cpp
@@ -4,7 +4,7 @@
  ** Top contributors (to current version):
  **   Aina Niemetz
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
@@ -19,7 +19,7 @@
 #include "util/random.h"
 
 #include <cfloat>
-#include "base/cvc4_assert.h"
+#include "base/check.h"
 
 namespace CVC4 {