From deed6fb984cbb823f03f5826f48d0b52a25da811 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= <bb-github@t-online.de>
Date: Sun, 4 Aug 2024 12:24:44 +0200
Subject: [PATCH] fix remaining use of declaration instead of directive

---
 src/machine/machine_errors.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/machine/machine_errors.rs b/src/machine/machine_errors.rs
index 16ab4b60..cb4edba8 100644
--- 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"))
-- 
2.54.0