//
// DO NOT EDIT BY HAND - Generated by ./generate_files.sh.
//

// Include the file twice, so we detect missing inclusion guards.
#include <vaucanson/tools/gen_random.hh>
#include <vaucanson/tools/gen_random.hh>
int main()
{
}
