From edc4126a37d7ea8f99142b706c9e6b6eb806443e Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Thu, 31 Aug 2017 12:32:51 -0400
Subject: Require Ltac2.Fresh in Ltac2.Ltac2

---
 theories/Ltac2.v | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theories/Ltac2.v b/theories/Ltac2.v
index 07229797da..996236325c 100644
--- a/theories/Ltac2.v
+++ b/theories/Ltac2.v
@@ -15,6 +15,7 @@ Require Ltac2.Array.
 Require Ltac2.Message.
 Require Ltac2.Constr.
 Require Ltac2.Control.
+Require Ltac2.Fresh.
 Require Ltac2.Pattern.
 Require Ltac2.Std.
 Require Ltac2.Notations.
-- 
cgit v1.2.3