lib/realtime: free attributes of Clock at finalize_once

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

diff --git a/lib/realtime.nit b/lib/realtime.nit
index 6e312ef..5a9571d 100644 (file)
--- a/lib/realtime.nit
+++ b/lib/realtime.nit
@@ -121,6 +121,7 @@ end
 
 # Keeps track of real time
 class Clock
+       super FinalizableOnce
 
        # TODO use less mallocs
 
@@ -181,4 +182,10 @@ class Clock
                dt.free
                return r
        end
+
+       redef fun finalize_once
+       do
+               time_at_beginning.free
+               time_at_last_lapse.free
+       end
 end