fix remaining use of declaration instead of directive

diff --git a/src/machine/machine_errors.rs b/src/machine/machine_errors.rs
index 16ab4b60df3e13f35fde1f7c8e0a876bcaa36264..cb4edba8bb1963b4a18b8880e6ba03b3c8130c97 100644 (file)
--- a/src/machine/machine_errors.rs
+++ b/src/machine/machine_errors.rs
@@ -785,7 +785,7 @@ impl CompilationError {
                 functor!(atom!("inadmissible_query_term"))
             }
             CompilationError::InvalidDirective(_) => {
-                functor!(atom!("declaration_error"))
+                functor!(atom!("directive_error"))
             }
             CompilationError::InvalidMetaPredicateDecl => {
                 functor!(atom!("invalid_meta_predicate_decl"))