cicInspect: now we can choose not to count the Cic.Implicit constructors

[helm.git] / helm / software / components / acic_procedural / proceduralTeX.ml

diff --git a/helm/software/components/acic_procedural/proceduralTeX.ml b/helm/software/components/acic_procedural/proceduralTeX.ml
index 7d1e20a4d65cb67ba656b07c83e133204dd7c53d..f4f25c402f813d6e5c545cdcfd13ffcacd6edfa0 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralTeX.ml
+++ b/helm/software/components/acic_procedural/proceduralTeX.ml
@@ -234,9 +234,11 @@ let rec xl frm = function
    | T.Elim _ :: _                                         -> assert false
    | T.Cut _ :: _                                          -> assert false
 
-and xls frm ls =
-   let map l = F.fprintf frm "{%a}" xl l in
-   List.iter map (List.rev ls)
+and xls frm = function
+   | [] -> F.fprintf frm "{}"
+   | ls -> 
+      let map l = F.fprintf frm "{%a}" xl l in
+      List.iter map (List.rev ls)
 
 in
 F.fprintf frm "%a@\n" xl l