improve Rust-generated permissions errors

diff --git a/src/prolog/machine/machine_errors.rs b/src/prolog/machine/machine_errors.rs
index 3845362407bd5751cbe5011c99921cdf32f686af..772f02194c8c37e1a4c0597f2972e3c2871891f1 100644 (file)
--- 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());