path: root/library/discharge.ml

(* $Id$ *)

open Declare

let close_section _ s = Lib.close_section s