Commit ebc54ea1 authored by François Bobot's avatar François Bobot

bench : ajout des meta pour encoding bench

parent 609ce9bf
theory Partial
meta "enco_kept" "instantiate"
end
theory Explicit
end
\ No newline at end of file
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment