diff --git a/thun/thun.pl b/thun/thun.pl index b5ef23b..83fe16b 100644 --- a/thun/thun.pl +++ b/thun/thun.pl @@ -213,6 +213,7 @@ assert_defs(DefsFile) :- assert_def(def(Def, Body)) :- \+ func(Def, _, _), + \+ combo(Def, _, _, _, _), retractall(def(Def, _)), assertz(def(Def, Body)).