| Index: src/IceRNG.cpp
 | 
| diff --git a/src/IceRNG.cpp b/src/IceRNG.cpp
 | 
| index 89b1893ccf57c26528db39eae44f1793707d9088..987d1a4ed3e5f5c26c8811675e4d68781f957c36 100644
 | 
| --- a/src/IceRNG.cpp
 | 
| +++ b/src/IceRNG.cpp
 | 
| @@ -25,9 +25,9 @@ constexpr unsigned MAX = 2147483647;
 | 
|  // TODO(wala,stichnot): Switch to RNG implementation from LLVM or C++11.
 | 
|  //
 | 
|  // TODO(wala,stichnot): Make it possible to replay the RNG sequence in a
 | 
| -// subsequent run, for reproducing a bug.  Print the seed in a comment
 | 
| -// in the asm output.  Embed the seed in the binary via metadata that an
 | 
| -// attacker can't introspect.
 | 
| +// subsequent run, for reproducing a bug. Print the seed in a comment in the
 | 
| +// asm output. Embed the seed in the binary via metadata that an attacker can't
 | 
| +// introspect.
 | 
|  RandomNumberGenerator::RandomNumberGenerator(uint64_t Seed, llvm::StringRef)
 | 
|      : State(Seed) {}
 | 
|  
 | 
| 
 |