X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_rg%2FbrgOutput.ml;h=186349a1c6161d47a7c4817663c7124b3dcd6076;hb=c35f0cd5d774d92e3158196eead7ecb17cf2f384;hp=124f9897402c3b01fce0e2ae4de51c2b1b6a814e;hpb=93205dc852fa208b48a05757d05d9910b7d45fa1;p=helm.git

diff --git a/helm/software/lambda-delta/basic_rg/brgOutput.ml b/helm/software/lambda-delta/basic_rg/brgOutput.ml
index 124f98974..186349a1c 100644
--- a/helm/software/lambda-delta/basic_rg/brgOutput.ml
+++ b/helm/software/lambda-delta/basic_rg/brgOutput.ml
@@ -14,10 +14,10 @@ module F = Format
 module C = Cps
 module U = NUri
 module L = Log
+module O = Options
 module Y = Entity
 module X = Library
 module H = Hierarchy
-module O = Output
 module B = Brg
 
 (* nodes count **************************************************************)