From: Jonathan Robey Date: Mon, 1 Aug 2016 06:38:03 +0000 (-0700) Subject: Adjust reference to random_shuffle in comment X-Git-Tag: v8.5.0-rc1~816^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F2901%2Fhead;p=dealii.git Adjust reference to random_shuffle in comment --- diff --git a/source/dofs/dof_renumbering.cc b/source/dofs/dof_renumbering.cc index e076b8ada5..df770b3b9a 100644 --- a/source/dofs/dof_renumbering.cc +++ b/source/dofs/dof_renumbering.cc @@ -1871,9 +1871,8 @@ namespace DoFRenumbering for (unsigned int i=0; i