Merge branch 'fix_another_sessions' into 'master'

[why3.git] / bench / plugins / helloworld.drv

plugin "helloworld.cmo" "helloworld.cmxs"

printer "helloworld"

filename "%f-%t-%s.hw"

transformations
        "helloworld"
end