lib/realtime: free attributes of Clock at finalize_once
[nit.git] / lib / realtime.nit
index 6e312ef..5a9571d 100644 (file)
@@ -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