remove obsolete ExistenceError::Declaration

diff --git a/src/machine/machine_errors.rs b/src/machine/machine_errors.rs
index df38d5c53a558aa37332bfa3d72383df68a054d2..16ab4b60df3e13f35fde1f7c8e0a876bcaa36264 100644 (file)
--- a/src/machine/machine_errors.rs
+++ b/src/machine/machine_errors.rs
@@ -415,21 +415,6 @@ impl MachineState {
                     from: ErrorProvenance::Constructed,
                 }
             }
-            ExistenceError::Declaration(name, arity) => {
-                let culprit = functor!(atom!("/"), [atom(name), fixnum(arity)]);
-
-                let stub = functor!(
-                    atom!("existence_error"),
-                    [atom(atom!("declaration")), str(self.heap.len(), 0)],
-                    [culprit]
-                );
-
-                MachineError {
-                    stub,
-                    location: None,
-                    from: ErrorProvenance::Constructed,
-                }
-            }
             ExistenceError::ModuleSource(source) => {
                 let source_stub = source.as_functor_stub();
 
@@ -1059,7 +1044,6 @@ pub enum ExistenceError {
     Module(Atom),
     ModuleSource(ModuleSource),
     Procedure(Atom, usize),
-    Declaration(Atom, usize),
     QualifiedProcedure {
         module_name: Atom,
         name: Atom,