-----Original Message----- From: Yitzhak Sapir I can't send my own code, but the following code causes the previously described error with an unpatched minimum_category.hpp and an ICE when compiled with patched and unpatched minimum_category.hpp:

I meant an ICE with patched only. Sorry about that.