@c "cflat/opt-dsim-prs.texi"
@c extracted from "../../src/main/cflat.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defvr {@t{cflat -f} option} dsim-prs
@defvrx {@t{cflat -f} option} no-dsim-prs
Wraps prs in: @samp{dsim @{ ... @}}
@end defvr

