From 9dacb84c995b149f9660c74991e4cdd177322a37 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 3 Feb 2014 23:26:36 +0000
Subject: [PATCH] fix string comparison

---
 H/TermExt.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/H/TermExt.h b/H/TermExt.h
index a1f363df5..be308c70d 100755
--- a/H/TermExt.h
+++ b/H/TermExt.h
@@ -675,7 +675,7 @@ unify_extension (Functor f, CELL d0, CELL * pt0, CELL d1)
     case long_int_e:
       return (pt0[1] == RepAppl (d1)[1]);
     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:
 #ifdef USE_GMP
       return (Yap_gmp_tcmp_big_big(d0,d1) == 0);