From 9ebf44d84754adc5b64fcf612c6816c02c80462d Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 2 Feb 2019 19:29:23 -0500
Subject: Imported Upstream version 8.9.0

---
 plugins/firstorder/formula.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/firstorder/formula.ml')

diff --git a/plugins/firstorder/formula.ml b/plugins/firstorder/formula.ml
index 047fc9fb..a60a966c 100644
--- a/plugins/firstorder/formula.ml
+++ b/plugins/firstorder/formula.ml
@@ -211,7 +211,7 @@ type left_pattern=
   | Lexists of pinductive
   | LA of constr*left_arrow_pattern
 
-type t={id:global_reference;
+type t={id:GlobRef.t;
 	constr:constr;
 	pat:(left_pattern,right_pattern) sum;
 	atoms:atoms}
-- 
cgit v1.2.3