automaton.hpp: Report info only if non null
That wasn't a bug (as a null info has a 0-length). But I prefer preventing an overwriting of an actual result with an empty result.
Showing
That wasn't a bug (as a null info has a 0-length). But I prefer preventing an overwriting of an actual result with an empty result.