28 Jan
                
                    2013
                
            
            
                28 Jan
                
                '13
                
            
            
            
        
    
                5:51 p.m.
            
        --- milena/mln/world/k1/un_immerse.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/milena/mln/world/k1/un_immerse.hh b/milena/mln/world/k1/un_immerse.hh index 8c352ca..6acb0bd 100644 --- a/milena/mln/world/k1/un_immerse.hh +++ b/milena/mln/world/k1/un_immerse.hh @@ -79,7 +79,7 @@ namespace mln const I& ima = exact(ima_); mln_precondition(ima.is_valid()); - mln_ch_value(I,V) output = kn::un_immerse(ima, 2, new_value_type); + mln_ch_value(I,V) output = kn::un_immerse(ima, 1, new_value_type); trace::exiting("mln::world::k1::un_immerse"); return output; -- 1.7.2.5