K 10 svn:author V 6 pkubaj K 8 svn:date V 27 2020-04-18T01:54:24.856246Z K 7 svn:log V 158 math/yices: fix build on GCC architectures Use C11 compiler: ./api/yices_api_lock_free.h:34: error: previous declaration of 'lp_algebraic_number_t' was here END