diff options
Diffstat (limited to 'cli/source.cxx')
| -rw-r--r-- | cli/source.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cli/source.cxx b/cli/source.cxx index 1e0be15..d5c3fd3 100644 --- a/cli/source.cxx +++ b/cli/source.cxx @@ -185,7 +185,7 @@ namespace { using semantics::names; - type::doc_list const& doc (o.doc ()); + semantics::doc_strings const& doc (o.doc ()); if (options.suppress_undocumented () && doc.empty ()) return; @@ -237,7 +237,7 @@ namespace { using semantics::names; - type::doc_list const& doc (o.doc ()); + semantics::doc_strings const& doc (o.doc ()); if (options.suppress_undocumented () && doc.empty ()) return; |