diff options
| author | ilezhankin <[email protected]> | 2022-02-10 16:45:56 +0300 |
|---|---|---|
| committer | Daniil Cherednik <[email protected]> | 2022-02-10 16:45:56 +0300 |
| commit | 62a805381e41500fbc7914c37c71ab040a098f4e (patch) | |
| tree | 1a2c5ffcf89eb53ecd79dbc9bc0a195c27404d0c /util/random/random.h | |
| parent | 1d125034f06575234f83f24f08677955133f140e (diff) | |
Restoring authorship annotation for <[email protected]>. Commit 2 of 2.
Diffstat (limited to 'util/random/random.h')
| -rw-r--r-- | util/random/random.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/util/random/random.h b/util/random/random.h index 623639d92c9..16b52d39955 100644 --- a/util/random/random.h +++ b/util/random/random.h @@ -18,11 +18,11 @@ T RandomNumber(); */ template <class T> T RandomNumber(T max); - -/* - * Re-initialize random state - useful after forking in multi-process programs. - */ -void ResetRandomState(); + +/* + * Re-initialize random state - useful after forking in multi-process programs. + */ +void ResetRandomState(); /* * Set random SEED |