Commits

Carl Friedrich Bolz  committed 056bec5

use atom_signature in univ as well

  • Participants
  • Parent commits 24774be

Comments (0)

Files changed (1)

File prolog/builtin/termconstruction.py

     if not isinstance(first, term.Var):
         if helper.is_term(first):
             assert isinstance(first, term.Callable)
-            l = [term.Callable.build(first.name())] + first.arguments()
+            sig = first.signature().atom_signature
+            l = [term.Callable.build(first.name(), signature=sig)] + first.arguments()
         else:
             l = [first]
         u1 = helper.wrap_list(l)