set throw() to follow ISO recommendations

This commit is contained in:
Cyrille Duret
2020-07-15 18:26:57 +02:00
parent f5f0d00a75
commit 5705c42820

View File

@@ -63,7 +63,7 @@
option(W, O) :-
( member(W, O) -> true
; throw(not_found_error(W, O))).
; throw(error(unknown_opt_error(W, O), option/2)).
option_extends([], Opt, Opt).