bcallah 40752a8902 Unbreak build on gcc-4.2.1 ...

Noticed by and ok naddy@

2018-04-28 18:11:32 +00:00

..

patch-src_xsb_level_cpp

…