Merge branch 'upgrade-altergo-2.6.0' into 'master'

[why3.git] / drivers / pvs.drv

(*
prelude "% This file is generated by Why3's PVS driver"
prelude "% Beware! Only edit allowed sections below   "
*)

printer "pvs"
filename "%f_%t_%g.pvs"

import "pvs-common.gen"