diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix string comparison

Browse Source
This commit is contained in:
Vitor Santos Costa 2014-02-03 23:26:36 +00:00
parent 819f7ab4a5
commit 9dacb84c99
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
H/TermExt.h
View File

@ -675,7 +675,7 @@ unify_extension (Functor f, CELL d0, CELL * pt0, CELL d1)
case long_int_e: case long_int_e:
return (pt0[1] == RepAppl (d1)[1]); return (pt0[1] == RepAppl (d1)[1]);
case string_e: case string_e:
return strcmp( (char *)pt0[2], (char *)RepAppl (d1)[2] ) == 0; return strcmp( (char *)(pt0+2), (char *)(RepAppl (d1)+2) ) == 0;
case big_int_e: case big_int_e:
#ifdef USE_GMP #ifdef USE_GMP
return (Yap_gmp_tcmp_big_big(d0,d1) == 0); return (Yap_gmp_tcmp_big_big(d0,d1) == 0);