From 57b3151fd34258b283e2cb8b4faeed83c6dbcc99 Mon Sep 17 00:00:00 2001 From: wolf Date: Mon, 9 Jul 2001 11:39:11 +0000 Subject: [PATCH] . git-svn-id: https://svn.dealii.org/trunk@4837 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/configure | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/deal.II/configure b/deal.II/configure index 88c522609e..6ae19eeee0 100755 --- a/deal.II/configure +++ b/deal.II/configure @@ -1,6 +1,6 @@ #! /bin/sh -# From configure.in Revision: 1.79 +# From configure.in Revision: 1.80 @@ -1987,7 +1987,7 @@ cross_compiling=$ac_cv_prog_cxx_cross void f() { std::vector new_indices; - random_shuffle (new_indices.begin(), new_indices.end()); + std::random_shuffle (new_indices.begin(), new_indices.end()); }; int main() { -- 2.39.5