12 lines
457 B
Diff
12 lines
457 B
Diff
--- singular-4.1.1/Singular/links/ndbm.cc.orig 2018-07-31 07:05:52.000000000 -0600
|
|
+++ singular-4.1.1/Singular/links/ndbm.cc 2018-10-24 08:39:16.614020655 -0600
|
|
@@ -280,7 +280,7 @@ datum dbm_nextkey(DBM *db)
|
|
db->dbm_flags |= _DBM_IOERR;
|
|
#endif
|
|
}
|
|
- if (((short *)db->dbm_pagbuf)[0] != 0)
|
|
+ if (db->dbm_pagbuf[0] != 0 || db->dbm_pagbuf[1] != 0)
|
|
{
|
|
item = makdatum(db->dbm_pagbuf, db->dbm_keyptr);
|
|
if (item.dptr != NULL)
|