we removed old HAL exportation (replaced by XML exportation)

[helm.git] / helm / software / lambda-delta / src / toplevel / metaOutput.mli

diff --git a/helm/software/lambda-delta/src/toplevel/metaOutput.mli b/helm/software/lambda-delta/src/toplevel/metaOutput.mli
index 1a7b119ced10f1ff5ccb22056336e562ab83e620..26b873cf9a9ca3006e66eb3a77c6f82d8c2b91c9 100644 (file)
--- a/helm/software/lambda-delta/src/toplevel/metaOutput.mli
+++ b/helm/software/lambda-delta/src/toplevel/metaOutput.mli
@@ -16,5 +16,3 @@ val initial_counters: counters
 val count_entity: (counters -> 'a) -> counters -> Meta.entity -> 'a
 
 val print_counters: (unit -> 'a) -> counters -> 'a
-
-val pp_entity: (unit -> 'a) -> Format.formatter -> Meta.entity -> 'a