]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/basic_ag/bagOutput.ml
- we completed the text parser fixing the syntactic shortcuts
[helm.git] / helm / software / lambda-delta / basic_ag / bagOutput.ml
index 829ee82f871f3e2d7d5e169aa02b338182f37e51..0bfc13ee64c3b4de9274a62f450cf583e9fc2369 100644 (file)
@@ -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 = {