Work around an overload resolution problem reported by g++ 4.7.

	* src/debug/show_separators.cc,
	* src/util/component_precise_outline.cc:
	Here.

scribo/ChangeLog

+2012-10-09  Roland Levillain  <roland@lrde.epita.fr>
+
+	Work around an overload resolution problem reported by g++ 4.7.
+
+	* src/debug/show_separators.cc,
+	* src/util/component_precise_outline.cc:
+	Here.
+
 2011-12-06  Guillaume Lazzara  <z@lrde.epita.fr>
 
 	* scribo/text/recognition.hh: Restore previous locale.

scribo/src/debug/show_separators.cc

@@ -75,7 +75,10 @@ int main(int argc, char *argv[])
   v_lines += h_lines;
 
   t.stop();
-  std::cout << t << "s" << std::endl;
+  /* FIXME: Help the compiler to ``unproxy' the float stored in the
+     timer.  There is a problem with an overload resolution of
+     `mln::unproxy_rec' here.  */
+  std::cout << t.read() << "s" << std::endl;
 
   // Save binary image.
   io::pbm::save(v_lines, argv[2]);

scribo/src/util/component_precise_outline.cc

@@ -70,7 +70,10 @@ int main(int argc, char *argv[])
   par_t par = scribo::util::component_precise_outline(input);
 
   t.stop();
-  std::cout << t << std::endl;
+  /* FIXME: Help the compiler to ``unproxy' the float stored in the
+     timer.  There is a problem with an overload resolution of
+     `mln::unproxy_rec' here.  */
+  std::cout << t.read() << std::endl;
 
   image2d<value::rgb8> input_rgb = data::convert(value::rgb8(), input);