-
Thibault Allançon authored
This is the continuation of b1a28932 (the update commit), to fix GCC and Spot related compilation issues with the 4.4.2 bricks version. * spot/bricks/brick-bitlevel, spot/bricks/brick-hash, spot/bricks/brick-hashset, spot/bricks/brick-min, spot/bricks/brick-ptr, spot/bricks/brick-shmem, spot/bricks/brick-string, spot/bricks/brick-trace: update here.
078990a7