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

@defopt {-f default}
Reset to the default set of configuration options.  
Not negatable.  
@end defopt

