qualify '$print_project_attributes_exception' call (#857)

diff --git a/src/machine/project_attributes.pl b/src/machine/project_attributes.pl
index 15fe148deeac9b80e19d963605436d4879336481..26632ea607c76183f8739720e4f541dd0bc3f1ec 100644 (file)
--- a/src/machine/project_attributes.pl
+++ b/src/machine/project_attributes.pl
@@ -15,7 +15,9 @@ enqueue_goals(Goals0) :-
 enqueue_goals(_).
 
 '$print_project_attributes_exception'(Module, E) :-
-    (  E = error(evaluation_error((Module:project_attributes)/2), project_attributes/2) ->
+    (  (  E = error(existence_error(procedure, project_attributes/2), _)
+       ;  E = error(evaluation_error((Module:project_attributes)/2), _)
+       )  ->
        true
     ;  write_term('caught: ', [quoted(false)]),
        writeq(E),
@@ -26,7 +28,7 @@ call_project_attributes([], _, _).
 call_project_attributes([Module|Modules], QueryVars, AttrVars) :-
     (   catch(Module:project_attributes(QueryVars, AttrVars),
              E,
-             '$print_project_attributes_exception'(Module, E)
+             '$project_atts':'$print_project_attributes_exception'(Module, E)
             )
     ->  true
     ;   true