On 18 Jun 2015 19:33, Doug Evans wrote:
> This patch updates the generator so that the next time
> the files are generated we don't lose the TRACE_{EXTRACT,RESULT}
> renaming change.

patch looks fine to me, but i'm not a cgen maintainer
-mike