Add man page description for the new option

NlightNFotis · NlightNFotis · commit f92fcd6a5e7d · 2023-05-11T17:27:24.000+01:00
diff --git a/doc/man/cbmc.1 b/doc/man/cbmc.1
@@ -525,6 +525,9 @@ give a stack trace only
 \fB\-\-flush\fR
 flush every line of output
 .TP
+\fB\-\-export\-core\-goto\fR filename
+export the lowered version of the goto-model into the given filename
+.TP
 \fB\-\-verbosity\fR #
 verbosity level
 .TP
