Replace use of NULL by C++11 nullptr.

[ginac.git] / check / randomize_serials.cpp

diff --git a/check/randomize_serials.cpp b/check/randomize_serials.cpp
index 5016a0c007a2feb9460700609b1a2a31cefd3c9a..5603452a412d4ea4e701d4a8add40b6a05e0cbdf 100644 (file)
--- a/check/randomize_serials.cpp
+++ b/check/randomize_serials.cpp
@@ -45,7 +45,7 @@ using namespace std;
  */
 void randomify_symbol_serials()
 {
-       srand(time(NULL));
+       srand(time(nullptr));
        const int m = rand() % 666;
        for (int s=0; s<m; ++s ) {
                symbol("dummy");