Fix a warning when building documentation

This commit is contained in:
Daniel Thayer 2018-02-14 17:01:04 -06:00
parent 873049ce12
commit d0c29e81e1