Regular expressions.

[helm.git] / helm / software / lambda-delta / basic_ag / bagOutput.ml

diff --git a/helm/software/lambda-delta/basic_ag/bagOutput.ml b/helm/software/lambda-delta/basic_ag/bagOutput.ml
index a97219120dc2cbc1098bafb22ffd24b874efe55a..0bfc13ee64c3b4de9274a62f450cf583e9fc2369 100644 (file)
--- 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 = {
@@ -70,6 +70,7 @@ let count_entity f c = function
    | _, _, Y.Abbr v -> 
       let c = {c with eabbrs = succ c.eabbrs} in
       count_term f c v
+   | _, _, Y.Void   -> assert false
 
 let print_counters f c =
    let terms =
@@ -100,7 +101,7 @@ let rec pp_term c frm = function
    | B.Sort h                 -> 
       let err () = F.fprintf frm "@[*%u@]" h in
       let f s = F.fprintf frm "@[%s@]" s in
-      H.get_sort err f h 
+      H.string_of_sort err f h 
    | B.LRef i                 -> 
       let f = function
          | Some (id, _) -> F.fprintf frm "@[%s@]" id