Finishing the renaming.
[flatland.git] / sequence_generator.cc
2017-03-01 Francois FleuretRenaming a bit.