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

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