should use use_module, not ensure_loaded.
This commit is contained in:
parent
1e55e2f388
commit
7ffbfdbc77
@ -38,7 +38,7 @@
|
|||||||
numlist/3
|
numlist/3
|
||||||
]).
|
]).
|
||||||
|
|
||||||
:- ensure_loaded(library(error),
|
:- use_module(library(error),
|
||||||
[must_be/2]).
|
[must_be/2]).
|
||||||
|
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user