-
François Bobot authored
Encoding_decorate : Correction, ajout des définitions des logics avant de faire le clone. Dommage que theory ne verifie plus les knowns sinon l'exception aurait été levé lors du clone plutôt que lors du flat_theory.
0e46a420