andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Output cleanup.

Browse Source
This commit is contained in:
ccremers 2004-08-14 13:17:37 +00:00
parent afda4f355e
commit e3d16947ee
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/arachne.c
View File

@ -415,7 +415,7 @@ bind_goal_regular (const Goal goal)
termPrint (p->nameterm); termPrint (p->nameterm);
eprintf (", "); eprintf (", ");
termPrint (r->nameterm); termPrint (r->nameterm);
eprintf (", index%i\n"); eprintf (", index %i\n", index);
#endif #endif
return termMguInTerm (goal.rd->message, rd->message, return termMguInTerm (goal.rd->message, rd->message,
bind_this_unification); bind_this_unification);

1
src/mgu.c
View File

@ -254,3 +254,4 @@ termMguSubTerm (Term t1, Term t2, int (*iterator) (),
} }
return flag; return flag;
} }