- bug fix in the static analyzer allows better Pi/forall separation (exportation...

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

diff --git a/helm/software/helena/src/basic_rg/brg.ml b/helm/software/helena/src/basic_rg/brg.ml
index a321a32b00e71b20a7ef13cd1583bbc29e92fbe2..a39010f80687c745e8716f1138ed6a5e2766a1f6 100644 (file)
--- a/helm/software/helena/src/basic_rg/brg.ml
+++ b/helm/software/helena/src/basic_rg/brg.ml
@@ -46,6 +46,8 @@ let abbr v = Abbr v
 
 let lref a i = LRef (a, i)
 
+let gref a u = GRef (a, u)
+
 let cast a u t = Cast (a, u, t)
 
 let appl a x u t = Appl (a, x, u, t)