add meta_predicate declaration for must_succeed/1

2021-02-03 23:49:28 +01:00
parent 24e6c31c44
commit b96ff781bc
1 changed files with 5 additions and 3 deletions
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -5884,10 +5884,12 @@ difference_arcs([V|Vs], FL0) -->

 writeln(T) :- write(T), nl.

+:- meta_predicate must_succeed(0).
+
 must_succeed(G) :-
-    (G -> true
-     ;write(failed-G), halt
-    ).
+        (   G -> true
+        ;   throw(failed-G)
+        ).

 enumerate([], _) --> [].
 enumerate([N|Ns], V) -->