From: Cyrille Duret <cyrille.duret@hcuge.ch>
Date: Wed, 15 Jul 2020 16:26:57 +0000 (+0200)
Subject: set throw() to follow ISO recommendations
X-Git-Tag: v0.8.127~8^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5705c4282075ba337492db3939970223b692e69e;p=scryer-prolog.git

set throw() to follow ISO recommendations
---

diff --git a/src/lib/csv.pl b/src/lib/csv.pl
index b294b2b0..78775871 100644
--- a/src/lib/csv.pl
+++ b/src/lib/csv.pl
@@ -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).