This commit is contained in:
Vítor Santos Costa 2016-01-31 10:45:42 +00:00
parent 1f7608a735
commit c40899d8ec

View File

@ -1419,7 +1419,7 @@ initialization(_G,_OPT) :-
'$initialization'(G,OPT) :- '$initialization'(G,OPT) :-
error:must_be_of_type(callable, G, initialization(G,OPT)), error:must_be_of_type(callable, G, initialization(G,OPT)),
error:must_be_of_type(oneof([after_load, now, restore]), error:must_be_of_type(oneof([after_load, now, restore]),
OPT, initialization(G0,OPT)), OPT, initialization(G,OPT)),
( (
OPT == now OPT == now
-> ->