[doc] restore doc/example/fun1.cpp#7

HugoStrand wants to merge 1 commit intoflatironinstitute:docflatironinstitute/clair:docfrom

HugoStrand:prq_doc_fun1HugoStrand/clair:prq_doc_fun1Copy head branch name to clipboard