Commit f54c4c24c918de10964c89c400b6552516bb0069

Stefan Sperling 2019-02-07T11:36:16

get rid of xmalloc and a global declaration in worklist code