From 85035a790598216e2be11145ae1d2877e3ea262f Mon Sep 17 00:00:00 2001 From: Jonathan Robey Date: Sun, 31 Jul 2016 23:38:03 -0700 Subject: [PATCH] Adjust reference to random_shuffle in comment --- source/dofs/dof_renumbering.cc | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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