tmp/tmpc_20xuya/{from.md → to.md}
RENAMED
|
@@ -69,11 +69,11 @@ typedef discard_block_engine<ranlux24_base, 223, 23>
|
|
| 69 |
default-constructed object of type `ranlux24` shall produce the value
|
| 70 |
9901578.
|
| 71 |
|
| 72 |
``` cpp
|
| 73 |
typedef discard_block_engine<ranlux48_base, 389, 11>
|
| 74 |
-
ranlux48
|
| 75 |
```
|
| 76 |
|
| 77 |
*Required behavior:* The $10000^{\,th}$ consecutive invocation of a
|
| 78 |
default-constructed object of type `ranlux48` shall produce the value
|
| 79 |
249142670248501.
|
|
|
|
| 69 |
default-constructed object of type `ranlux24` shall produce the value
|
| 70 |
9901578.
|
| 71 |
|
| 72 |
``` cpp
|
| 73 |
typedef discard_block_engine<ranlux48_base, 389, 11>
|
| 74 |
+
ranlux48;
|
| 75 |
```
|
| 76 |
|
| 77 |
*Required behavior:* The $10000^{\,th}$ consecutive invocation of a
|
| 78 |
default-constructed object of type `ranlux48` shall produce the value
|
| 79 |
249142670248501.
|