From fa74432cb729f4d53dfec2dd4903b72e7c67117f Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 12 Oct 2005 21:41:42 +0000 Subject: [PATCH] Fix a 64bit vs 32bit issue. git-svn-id: https://svn.dealii.org/trunk@11594 0785d39b-7218-0410-832d-ea1e28bc413d --- tests/bits/fe_tools_10.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/bits/fe_tools_10.cc b/tests/bits/fe_tools_10.cc index a54b05af29..367ced08b4 100644 --- a/tests/bits/fe_tools_10.cc +++ b/tests/bits/fe_tools_10.cc @@ -33,7 +33,7 @@ std::string modify_name (const std::string &name) dim_name += dim_char; dim_name += '>'; - unsigned int pos; + std::string::size_type pos; while ((pos = new_name.find(dim_name)) != std::string::npos) new_name.replace (pos, 3, ""); -- 2.39.5