FIXED: Allow node ids > signed int.

JanWielemaker · May 30, 2017 · 3c1c654 · 3c1c654
1 parent b5dfa00
commit 3c1c654
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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;
     }
   }