From ada4033fbe2c24e77eee63a42a5e285be9ae1504 Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 26 May 2004 08:49:36 +0000 Subject: [PATCH] - Fixed some non-ANSI initial assignment. --- src/terms.c | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/terms.c b/src/terms.c index 8c6e1e6..08cf51e 100644 --- a/src/terms.c +++ b/src/terms.c @@ -701,6 +701,9 @@ termSize(Term t) float termDistance(Term t1, Term t2) { + int t1s; + int t2s; + /* First the special cases: no equal subterms, completely equal */ if (isTermEqual(t1,t2)) return 1; @@ -708,8 +711,8 @@ termDistance(Term t1, Term t2) t1 = deVar(t1); t2 = deVar(t2); - int t1s = termSize(t1); - int t2s = termSize(t2); + t1s = termSize(t1); + t2s = termSize(t2); if (t1 == NULL || t2 == NULL) {