- Bugfix: term output now correctly displays local constants of a run

before it is bound.
2004-08-23 13:46:48 +00:00 · 2004-08-23 13:46:48 +00:00 · 7d0be35658
commit 7d0be35658
parent dfdea5b0bf
1 changed files with 1 additions and 1 deletions
--- a/src/term.c
+++ b/src/term.c
@ -331,7 +331,7 @@ termPrint (Term term)
  if (realTermLeaf (term))
    {
      symbolPrint (term->left.symb);
-      if (realTermVariable (term))
+      if (term->type == VARIABLE)
 	eprintf ("V");
      if (term->right.runid >= 0)
 	{