@@ -345,3 +345,3 @@
///This function stops immediately the time counters, i.e. <tt>t.stop()</tt>
///This function stops immediately the time counters, i.e. <tt>t.halt()</tt>
///is a faster