Merge branch 'disable-alt-ergo-fpa-2.5.3' into 'master'

[why3.git] / drivers / pvs-realize.drv

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

printer "pvs-realize"
filename "%t.pvs"

import "pvs-common.gen"