From f135a3967ca3d22bdc5566a54f042ba5bd6a343c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 3 Dec 2015 20:10:26 +0100
Subject: Fixing Tauto compilation for older versions of OCaml.

---
 tactics/tauto.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tactics/tauto.ml4 b/tactics/tauto.ml4
index a96adcca8a..a3894a9134 100644
--- a/tactics/tauto.ml4
+++ b/tactics/tauto.ml4
@@ -14,6 +14,7 @@ open Names
 open Pp
 open Genarg
 open Stdarg
+open Tacexpr
 open Tacinterp
 open Tactics
 open Errors
@@ -93,7 +94,6 @@ let make_lfun l =
   List.fold_left fold Id.Map.empty l
 
 let tacticIn tac name =
-  let open Tacexpr in
   let name = { mltac_plugin = "tauto"; mltac_tactic = name; } in
   let entry = { mltac_name = name; mltac_index = 0 } in
   let tac _ ist =
-- 
cgit v1.2.3