diff --git a/tests-pl/iso-conformity-tests.pl b/tests-pl/iso-conformity-tests.pl index 31ddc4d3..e78305a2 100644 --- a/tests-pl/iso-conformity-tests.pl +++ b/tests-pl/iso-conformity-tests.pl @@ -1023,4 +1023,4 @@ run_tests :- ). % FIXME: enable once all tests pass. -% :- initialization_goals(run_tests). +% :- initialization(run_tests).