From e4282ea99c664d8d58067bee199cbbcf881b60d5 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sat, 4 Jul 2009 13:28:35 +0200
Subject: Imported Upstream version 8.2.pl1+dfsg

---
 dev/base_include | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'dev')

diff --git a/dev/base_include b/dev/base_include
index d4366843..711dcb2a 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -14,6 +14,9 @@
 #directory "tactics";;
 #directory "translate";;
 
+#directory "+camlp4";; (* lazy solution: add both of camlp4/5 so that *)
+#directory "+camlp5";; (* Gramext is found in top_printers.ml *)
+
 #use "top_printers.ml";;
 #use "vm_printers.ml";;
 
@@ -112,6 +115,9 @@ open Proof_type
 open Redexpr
 open Refiner
 open Tacmach
+open Decl_proof_instr
+open Tactic_debug
+open Decl_mode
 
 open Auto
 open Autorewrite
-- 
cgit v1.2.3