basic_rg: we improved the error reporting interface

[helm.git] / helm / software / lambda-delta / basic_rg / brgOutput.ml

diff --git a/helm/software/lambda-delta/basic_rg/brgOutput.ml b/helm/software/lambda-delta/basic_rg/brgOutput.ml
index fe496e25dc912ca2b0b82d6f41ed75b3cff7f9eb..eec76f62003685dbdbe12f48f8c57c0da4735ea4 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brgOutput.ml
+++ b/helm/software/lambda-delta/basic_rg/brgOutput.ml
@@ -175,17 +175,17 @@ let id frm a =
 
 let rec pp_term c frm = function
    | B.Sort (_, h)             -> 
-      let err () = F.fprintf frm "@[*%u@]" h in
+      let err _ = F.fprintf frm "@[*%u@]" h in
       let f s = F.fprintf frm "@[%s@]" s in
       H.get_sort err f h 
    | B.LRef (_, i)             -> 
-      let err i = F.fprintf frm "@[#%u@]" i in
+      let err _ = F.fprintf frm "@[#%u@]" i in
       let f _ = function
          | B.Abst (a, _) 
         | B.Abbr (a, _)
         | B.Void a      -> F.fprintf frm "@[%a@]" id a
       in
-      if !O.indexes then err i else B.get err f c i
+      if !O.indexes then err () else B.get err f c i
    | B.GRef (_, s)             ->
       F.fprintf frm "@[$%s@]" (U.string_of_uri s)
    | B.Cast (_, u, t)          ->