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

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