Bugfix: use DDD_GID instead of 'int' to hold local variable theIdCounter

Patch by Markus Blatt [[Imported from SVN: r8438]]

Bugfix: use DDD_GID instead of 'int' to hold local variable theIdCounter
522cb95b · Oliver Sander · c2988a13 · 522cb95b
Commit 522cb95b authored 12 years ago by Oliver Sander
--- a/parallel/ddd/mgr/objmgr.c
+++ b/parallel/ddd/mgr/objmgr.c
@@ -90,7 +90,7 @@ RCSID("$Header$",DDD_RCS_STRING)


 /* local unique ID count */
-static int theIdCount;
+static DDD_GID theIdCount;