Support for Coq 8.19.2

[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"