correct error catching in call_verify_attributes/4

diff --git a/src/prolog/machine/attributed_variables.pl b/src/prolog/machine/attributed_variables.pl
index c11ada22fb6192fb2a81a850ced30c07b706e501..dfadfb203b34e42829908d8a4531a25361c822fc 100644 (file)
--- a/src/prolog/machine/attributed_variables.pl
+++ b/src/prolog/machine/attributed_variables.pl
@@ -15,8 +15,8 @@ call_verify_attributes(Attrs, _, _, []) :-
 call_verify_attributes([Attr|Attrs], Var, Value, [Goals|ListOfGoalLists]) :-
     '$module_of'(M, Attr), % write the owning module Attr to M.
     catch(M:verify_attributes(Var, Value, Goals),
-          error(evaluation_error((M:verify_attributes)/3), call_verify_attributes/3),
-          true),
+          error(evaluation_error((M:verify_attributes)/3), verify_attributes/3),
+          Goals = []),
     call_verify_attributes(Attrs, Var, Value, ListOfGoalLists).
 
 call_goals([ListOfGoalLists | ListsCubed]) :-