From 3c1c6546f103cbda26b116644ec458902f4094a5 Mon Sep 17 00:00:00 2001
From: Jan Wielemaker <J.Wielemaker@cs.vu.nl>
Date: Tue, 30 May 2017 08:44:44 +0200
Subject: [PATCH] FIXED: Allow node ids > signed int.

---
 c/hdt4pl.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/c/hdt4pl.cpp b/c/hdt4pl.cpp
index b6dfd4c..ee5ed7a 100644
--- a/c/hdt4pl.cpp
+++ b/c/hdt4pl.cpp
@@ -665,10 +665,10 @@ get_search_id(term_t t, unsigned *id, unsigned flag, unsigned *flagp)
     *flagp |= flag;
     return TRUE;
   } else
-  { int i;
+  { int64_t i;
 
-    if ( PL_get_integer_ex(t, &i) )
-    { *id = (unsigned)i;
+    if ( PL_get_int64(t, &i) )
+    { *id = (unsigned int)i;
       return TRUE;
     }
   }