Skip to content

Conversation

@rfourquet
Copy link
Member

There are 3 tiny changes:

  • use stop instead of end, as end has a special meaning for indexing;
  • add an inequality characterizing the condition on the passed indice;
  • use == instead of = as = looks like a method definition.

@rfourquet rfourquet added the docs This change adds or pertains to documentation label Sep 28, 2018
@StefanKarpinski StefanKarpinski merged commit bc34c64 into master Sep 28, 2018
@StefanKarpinski StefanKarpinski deleted the rf/doc/findnext-str branch September 28, 2018 17:49
KristofferC pushed a commit that referenced this pull request Sep 30, 2018
KristofferC pushed a commit that referenced this pull request Feb 11, 2019
KristofferC pushed a commit that referenced this pull request Feb 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs This change adds or pertains to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants