Fix a precondition in apps/graph-morpho.

	* apps/graph-morpho/morpho.hh (combine): Check the exact images,
	not the abstract ones.

git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@4611 4aad255d-cdde-0310-9447-f3009e2ae8c0

milena/ChangeLog

+2009-10-06  Roland Levillain  <roland@lrde.epita.fr>
+
+	Fix a precondition in apps/graph-morpho.
+
+	* apps/graph-morpho/morpho.hh (combine): Check the exact images,
+	not the abstract ones.
+
 2009-10-06  Roland Levillain  <roland@lrde.epita.fr>
 	Fix the instruction flow in multiple_qiter<W,F>::change_target.

milena/apps/graph-morpho/morpho.hh

@@ -177,13 +177,15 @@ namespace trait
 template <typename I>
 inline
 mln_concrete(I)
-combine(const mln::Image<I>& vertices, const mln::Image<I>& edges)
+combine(const mln::Image<I>& vertices_, const mln::Image<I>& edges_)
 {
   typedef trait::graph<I> T;
+  const I& vertices = mln::exact(vertices_);
+  const I& edges = mln::exact(edges_);
 
   mln_precondition(vertices.domain() == edges.domain());
   mln_concrete(I) output;
-  mln::initialize(output, exact(vertices));
+  mln::initialize(output, vertices);
   mln::data::fill(output, false);
   mln::data::paste(vertices | T::is_vertex(), output);
   mln::data::paste(edges | T::is_edge(), output);