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

- Bugfix.

Browse Source
This commit is contained in:
ccremers 2004-08-10 11:26:14 +00:00
parent ca4c0c8869
commit 028c3a03f2
1 changed files with 14 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/mgu.c
View File

@ -179,10 +179,13 @@ termMguInTerm (Term t1, Term t2, void (*iterator) ())
}
// simple clause or combined
tl = termMguTerm (t1, t2);
// Iterate
iterator ();
// Reset variables
termlistSubstReset (tl);
if (tl != MGUFAIL)
{
// Iterate
iterator ();
// Reset variables
termlistSubstReset (tl);
}
}
//! Most general subterm unifiers of t1 subterm t2
@ -224,8 +227,11 @@ termMguSubTerm (Term t1, Term t2, void (*iterator) (),
}
// simple clause or combined
tl = termMguTerm (t1, t2);
// Iterate
iterator (keylist);
// Reset variables
termlistSubstReset (tl);
if (tl != MGUFAIL)
{
// Iterate
iterator (keylist);
// Reset variables
termlistSubstReset (tl);
}
}