@c "opt/option-d.texi"
@c extracted from "../../src/main/prsim.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defopt -d ckpt
Print textual dump of prsim checkpoint file @var{ckpt}.  
@end defopt

