diff --git a/prolog/metta_lang/metta_printer.pl b/prolog/metta_lang/metta_printer.pl index 2dc49da84b..5c8c722ebe 100755 --- a/prolog/metta_lang/metta_printer.pl +++ b/prolog/metta_lang/metta_printer.pl @@ -759,6 +759,7 @@ materialize_vns(Term):- term_variables(Term,List), maplist(materialize_vn,List). materialize_vn(Var):- \+ attvar(Var),!. materialize_vn(Var):- get_attr(Var,vn,NN),ignore((Var = '$VAR'(NN))),!. +materialize_vn(_). %! write_src_woi(+Term) is det. %