diff recorder.pl @ 15:c91d53b19dbb tip

Meh?
author samer
date Wed, 19 Dec 2012 19:16:30 +0000
parents 24236c9c07b6
children
line wrap: on
line diff
--- a/recorder.pl	Wed Dec 19 19:11:19 2012 +0000
+++ b/recorder.pl	Wed Dec 19 19:16:30 2012 +0000
@@ -15,6 +15,7 @@
 :- dynamic start_time/1, event/2.
 
 :- use_module(library(fileutils)).
+:- use_module(library(utils),[min/3]).
 :- use_module(reactive).