Skip to content

Commit dd09ea8

Browse files
committed
fixed loading the types library; fixes #8
1 parent d8b5a47 commit dd09ea8

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

loader.lgt

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
1-
:- use_module(library(numberlist), []).
21

3-
:- initialization(
2+
:- initialization((
3+
logtalk_load(types(loader)),
44
logtalk_load([
55
interval_arithmeticp,
66
interval_arithmetic
77
], [
88
optimize(on)
99
])
10-
).
10+
)).

0 commit comments

Comments
 (0)