SimpleListChecker.visit_definition_list() is duplicated

Brought to you by: goodger, grubert, milde, tibs, wiemann

#147 SimpleListChecker.visit_definition_list() is duplicated

Milestone: None

Status: closed-fixed

Owner: nobody

Labels: None

Priority: 5

Updated: 2018-11-29

Created: 2018-11-28

Private: No

It seems SimpleListChecker.visit_definition_list() is duplicated.
This patch removes one of them.

Günter Milde - 2018-11-29

status: open --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Günter Milde - 2018-11-29

The problem is fixed in r8242. Thank you for reporting.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link: