add appropriate meta_predicate/1 declarations

2021-02-18 20:12:15 +01:00
parent d4d283480f
commit 5bec2c87cb
2 changed files with 5 additions and 0 deletions
--- a/src/lib/freeze.pl
+++ b/src/lib/freeze.pl
@@ -3,6 +3,8 @@
 :- use_module(library(atts)).
 :- use_module(library(dcgs)).

+:- meta_predicate freeze(?, 0).
+
 :- attribute frozen/1.

 verify_attributes(Var, Other, Goals) :-