diff options
| author |  corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-07-16 09:18:44 +0000 |
|---|---|---|
| committer | corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-07-16 09:18:44 +0000 |
| commit | 4f7e1eb0f0c53ad9d5f93712af702a3b3c107f8d (patch) | |
| tree | aabfd317542ffb9f05e18f1b0d4d6f2b4d994ff8 /parsing/g_prim.ml4 | |
| parent | 935df5be8d2b487e17ab1609083b264477c19a4d (diff) | |
Generalized CAMLP4USE for pp dependencies
Removed parsing/lexer.ml4 special case
No file depends on pa_extend_m.cmo anymore, Wierd ...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10007 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/g_prim.ml4')
| -rw-r--r-- | parsing/g_prim.ml4 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/g_prim.ml4 b/parsing/g_prim.ml4 index 73c88540c..d2d5ad36a 100644 --- a/parsing/g_prim.ml4 +++ b/parsing/g_prim.ml4 @@ -6,6 +6,8 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) +(*i camlp4use: "pa_extend.cmo" i*) + (*i $Id$ i*) open Pcoq |