X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Frandomize_serials.cpp;h=ab34ba0044040f064a3f1093b8726d14be3c2387;hp=398fa8f815181b07247a3c14ac553c14a9f181c8;hb=8cffcdf13d817a47f217f1a1043317d95969e070;hpb=95ede03f00106be5fb087d76c86ca5c27edb9122;ds=sidebyside

diff --git a/check/randomize_serials.cpp b/check/randomize_serials.cpp
index 398fa8f8..ab34ba00 100644
--- a/check/randomize_serials.cpp
+++ b/check/randomize_serials.cpp
@@ -1,10 +1,10 @@
 /** @file randomize_serials.cpp
  *
- *  Utilitiy function used by the benchmarks.
+ *  Utility function used by the benchmarks.
  */
 
 /*
- *  GiNaC Copyright (C) 1999-2010 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2019 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -28,13 +28,13 @@ using namespace GiNaC;
 #include <ctime>
 using namespace std;
 
-/** Generate a random amount of symbols and destroy them again immediatly.
+/** Generate a random amount of symbols and destroy them again immediately.
  *  This operation effectively makes the serial numbers of all subsequent
  *  symbols unpredictable.  If the serials are unpredictable, then so are
  *  their hash values.  If the hash values are unpredictable, then so are
  *  the canonical orderings.  If the canonical orderings are unpredictable,
  *  all subsequent times are subject to some variation.  This variation,
- *  however is natural and desireable for two reasons: First, we cannot know
+ *  however is natural and desirable for two reasons: First, we cannot know
  *  how many symbols have been generated before in real world computations.
  *  Second, the following timings are subject to some semi-random variation
  *  anyways because short timings need to be repeated until enough time has
@@ -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");