A little-little "typo" at libz3-4's page

[Felipe Lima]

At description is it missing a little hyphen at "state-of-the art" (it
would be "state-of-the-art" instead).

-- 
Felipe Lima
*Analista de Sistemas na Defensoria Pública do Estado de Roraima*
*Graduado em TADS no ano de 2016 - IFRR*