mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
29 lines
1.6 KiB
OCaml
29 lines
1.6 KiB
OCaml
(**************************************************************************)
|
|
(* *)
|
|
(* Copyright (C) 2010- *)
|
|
(* François Bobot *)
|
|
(* Jean-Christophe Filliâtre *)
|
|
(* Claude Marché *)
|
|
(* Andrei Paskevich *)
|
|
(* *)
|
|
(* This software is free software; you can redistribute it and/or *)
|
|
(* modify it under the terms of the GNU Library General Public *)
|
|
(* License version 2.1, with the special exception on linking *)
|
|
(* described in file LICENSE. *)
|
|
(* *)
|
|
(* This software is distributed in the hope that it will be useful, *)
|
|
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
|
|
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *)
|
|
(* *)
|
|
(**************************************************************************)
|
|
|
|
open Why
|
|
|
|
let print_context _ _ _ ?old:_ fmt _ = Format.fprintf fmt "helloworld@\n"
|
|
|
|
let transform_context = Trans.identity
|
|
|
|
let () =
|
|
Printer.register_printer "helloworld" print_context;
|
|
Trans.register_transform "helloworld" transform_context
|