fix remaining use of declaration instead of directive

This commit is contained in:
Bennet Bleßmann
2024-08-04 12:24:44 +02:00
parent 2d04c0dcf8
commit deed6fb984

View File

@@ -785,7 +785,7 @@ impl CompilationError {
functor!(atom!("inadmissible_query_term")) functor!(atom!("inadmissible_query_term"))
} }
CompilationError::InvalidDirective(_) => { CompilationError::InvalidDirective(_) => {
functor!(atom!("declaration_error")) functor!(atom!("directive_error"))
} }
CompilationError::InvalidMetaPredicateDecl => { CompilationError::InvalidMetaPredicateDecl => {
functor!(atom!("invalid_meta_predicate_decl")) functor!(atom!("invalid_meta_predicate_decl"))