diff --git a/packages/clib/time.pl b/packages/clib/time.pl index c801b0ee2..5390c6cfe 100644 --- a/packages/clib/time.pl +++ b/packages/clib/time.pl @@ -41,6 +41,7 @@ call_with_time_limit/2 % +Time, :Callable ]). :- use_module(library(lists)). +:- use_module(library(shlib)). :- set_prolog_flag(generate_debug_info, false). :- meta_predicate