-
Alexandre Duret-Lutz authored
constructor. It does the same thing as the default copy constructor, and g++ 4.2.3 complained that the copy constructor of spot::state was not called. Reported by Denis Poitrenaud.
cb6b74f5
constructor. It does the same thing as the default copy constructor, and g++ 4.2.3 complained that the copy constructor of spot::state was not called. Reported by Denis Poitrenaud.