X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_rg%2FbrgOutput.mli;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_rg%2FbrgOutput.mli;h=f0b0aa5435566780dcef3395761cc4ddf112badd;hb=a5709dff43233c041f77a4ee4b7f2df1a3c51ab6;hp=556439a99d2d298f7db9b79e622ce7712cd7c3c1;hpb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;p=helm.git

diff --git a/helm/software/lambda-delta/src/basic_rg/brgOutput.mli b/helm/software/lambda-delta/src/basic_rg/brgOutput.mli
index 556439a99..f0b0aa543 100644
--- a/helm/software/lambda-delta/src/basic_rg/brgOutput.mli
+++ b/helm/software/lambda-delta/src/basic_rg/brgOutput.mli
@@ -20,6 +20,3 @@ val print_counters: (unit -> 'a) -> counters -> 'a
 val specs: (Brg.lenv, Brg.term) Log.specs
 
 val export_term: Brg.term -> XmlLibrary.pp
-(*
-val export_term: Format.formatter -> Brg.term -> unit
-*)