Bah, forgot to increase boost magic number...

This commit is contained in:
Bastien Montagne 2016-01-11 09:57:32 +01:00
parent b7eebc1905
commit ff1121c716

@ -1042,7 +1042,7 @@ clean_Boost() {
compile_Boost() {
# To be changed each time we make edits that would modify the compiled result!
boost_magic=8
boost_magic=9
_init_boost