Skip to content

Commit 052d178

Browse files
author
Jan Wielemaker
committed
ADDED: support autoload for library(time).
1 parent 3c37181 commit 052d178

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

time.pl

+5-2
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,9 @@
33
Author: Jan Wielemaker
44
55
WWW: http://www.swi-prolog.org
6-
Copyright (c) 2002-2015, University of Amsterdam
6+
Copyright (c) 2002-2020, University of Amsterdam
77
VU University Amsterdam
8+
CWI, Amsterdam
89
All rights reserved.
910
1011
Redistribution and use in source and binary forms, with or without
@@ -45,7 +46,9 @@
4546
current_alarm/4, % ?At, ?:Goal, ?Id, ?Status
4647
call_with_time_limit/2 % +Time, :Callable
4748
]).
48-
:- use_module(library(lists)).
49+
:- autoload(library(lists),[member/2]).
50+
:- autoload(library(shlib),[use_foreign_library/1]).
51+
4952
:- set_prolog_flag(generate_debug_info, false).
5053

5154
:- meta_predicate

0 commit comments

Comments
 (0)