class RDoc::Markdown

def _HtmlBlockCloseDiv
  _save = self.pos
  while true # sequence
    _tmp = match_string("<")
    unless _tmp
      self.pos = _save
      break
    end
    _tmp = apply(:_Spnl)
    unless _tmp
      self.pos = _save
      break
    end
    _tmp = match_string("/")
    unless _tmp
      self.pos = _save
      break
    end
    _save1 = self.pos
    while true # choice
      _tmp = match_string("div")
      break if _tmp
      self.pos = _save1
      _tmp = match_string("DIV")
      break if _tmp
      self.pos = _save1
      break
    end # end choice
    unless _tmp
      self.pos = _save
      break
    end
    _tmp = apply(:_Spnl)
    unless _tmp
      self.pos = _save
      break
    end
    _tmp = match_string(">")
    unless _tmp
      self.pos = _save
    end
    break
  end # end sequence
  set_failed_rule :_HtmlBlockCloseDiv unless _tmp
  return _tmp
end