diff --git a/src/prolog/machine/machine_errors.rs b/src/prolog/machine/machine_errors.rs index 38453624..772f0219 100644 --- a/src/prolog/machine/machine_errors.rs +++ b/src/prolog/machine/machine_errors.rs @@ -80,11 +80,13 @@ impl MachineError { } } - pub(super) fn permission_error(err: PermissionError, pred_str: ClauseName) -> Self { + pub(super) + fn permission_error(err: PermissionError, pred_str: ClauseName) -> Self + { let pred_str = HeapCellValue::Addr(Addr::Con(Constant::Atom(pred_str, None))); - let err = vec![heap_atom!(err.as_str()), pred_str]; - let mut stub = functor!("permission_error", 2); + let err = vec![heap_atom!(err.as_str()), heap_atom!("private_procedure"), pred_str]; + let mut stub = functor!("permission_error", 3); stub.extend(err.into_iter());