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

- Fixed some non-ANSI initial assignment.

Browse Source
This commit is contained in:
ccremers 2004-05-26 08:49:36 +00:00
parent db0c34c1e5
commit ada4033fbe
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/terms.c
View File

@ -701,6 +701,9 @@ termSize(Term t)
float float
termDistance(Term t1, Term t2) termDistance(Term t1, Term t2)
{ {
int t1s;
int t2s;
/* First the special cases: no equal subterms, completely equal */ /* First the special cases: no equal subterms, completely equal */
if (isTermEqual(t1,t2)) if (isTermEqual(t1,t2))
return 1; return 1;
@ -708,8 +711,8 @@ termDistance(Term t1, Term t2)
t1 = deVar(t1); t1 = deVar(t1);
t2 = deVar(t2); t2 = deVar(t2);
int t1s = termSize(t1); t1s = termSize(t1);
int t2s = termSize(t2); t2s = termSize(t2);
if (t1 == NULL || t2 == NULL) if (t1 == NULL || t2 == NULL)
{ {