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
To find the state of this project's repository at the time of any of these versions, check out the tags.