jet a change in dependences

[helm.git] / helm / software / helena / src / basic_rg / brgGallina.ml

diff --git a/helm/software/helena/src/basic_rg/brgGallina.ml b/helm/software/helena/src/basic_rg/brgGallina.ml
index 100b7c4df79afd7b392a5ab7b6f745a4e2d33ab2..7346e58357c71dcacaadcf5ba5162e48db37804c 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgGallina.ml
+++ b/helm/software/helena/src/basic_rg/brgGallina.ml
@@ -124,7 +124,7 @@ let output_entity och st (_, na, u, b) =
          KP.fprintf och "exact %a.\n%!" (out_term st true B.empty) v;
          KP.fprintf och "Time Defined.\n\n%!";
 *)
-      | E.Abbr V ->
+      | E.Abbr v ->
          KP.fprintf och "Definition %a := %a.\n\n%!" out_uri u (out_term st false B.empty) v;
 (*         KP.fprintf och "Strategy -%u [ %a ].\n\n%!" na.E.n_apix out_uri u; *) !ok
       | E.Abst w ->