mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
11 lines
183 B
Plaintext
11 lines
183 B
Plaintext
|
|
(*
|
|
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"
|