28 May
2008
28 May
'08
10:48 a.m.
Ugo Jardonnet <jardonnet(a)lrde.epita.fr> writes:
Fix Changelog for rev 1965 and 1966.
Index: ChangeLog
===================================================================
--- ChangeLog (revision 1977)
+++ ChangeLog (working copy)
@@ -38,7 +38,7 @@
set_unit; postcondition(is_unit)
else return
- * mln/algebra/quat.hh: .
+ * mln/algebra/quat.hh (set_unit): Fix.
2008-05-17 Ugo Jardonnet <jardonnet(a)lrde.epita.fr>
@@ -54,9 +54,8 @@
could fail even if q != 0;
set_unit() now has is_unit() as postcondition.
- I realize that it has to be fix also since q could be equal 0;
- * mln/algebra/quat.hh: .
+ * mln/algebra/quat.hh (about_equal, set_unit): Fix.
Thanks!