X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagOutput.ml;h=0bfc13ee64c3b4de9274a62f450cf583e9fc2369;hb=34a5ef53f3ad2771cb45f90a2da6713bccdf3608;hp=829ee82f871f3e2d7d5e169aa02b338182f37e51;hpb=93205dc852fa208b48a05757d05d9910b7d45fa1;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagOutput.ml b/helm/software/lambda-delta/basic_ag/bagOutput.ml
index 829ee82f8..0bfc13ee6 100644
--- a/helm/software/lambda-delta/basic_ag/bagOutput.ml
+++ b/helm/software/lambda-delta/basic_ag/bagOutput.ml
@@ -13,9 +13,9 @@ module P = Printf
 module F = Format
 module U = NUri
 module L = Log
+module O = Options
 module Y = Entity
 module H = Hierarchy
-module O = Output
 module B = Bag
 
 type counters = {