fixed materialize_vn/1

logicmoo · Jan 2, 2025 · 755b6b7 · 755b6b7
1 parent cc688ed
commit 755b6b7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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.
 %