fix context & moved manticore to contrib

This commit is contained in:
Nikolay Degterinsky 2021-05-05 09:51:03 +00:00
parent f52ce28ea2
commit aa6c905daa

View File

@ -327,4 +327,4 @@ if (USE_NURAFT)
endif()
add_subdirectory(fast_float)
add_subdirectory(manticore)