@c "options/show-event-index.texi"
@c extracted from "../../src/main/chpsim.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defopt {-f show-event-index}
Annotate event nodes with their globally allocated indices.  Default off.  
@end defopt

