diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-02-28 02:02:43 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-02-28 02:02:43 +0000 |
| commit | 53f02d27efbdb458e96fcf9dedf3e8690d5f9d27 (patch) | |
| tree | e0fc74b7a03d43ee198582db0a50b5259e516ca2 /.depend.camlp4 | |
| parent | ee38a6c24d96f1bcf47409ee6fa5914ff62dec4c (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3720 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend.camlp4')
| -rw-r--r-- | .depend.camlp4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.depend.camlp4 b/.depend.camlp4 index 7ff30566a..d6b3b9522 100644 --- a/.depend.camlp4 +++ b/.depend.camlp4 @@ -19,7 +19,7 @@ contrib/jprover/jprover.ml: parsing/grammar.cma contrib/cc/cctac.ml: parsing/grammar.cma contrib/linear/ccidpc.ml: parsing/grammar.cma contrib/linear/dpc.ml: parsing/grammar.cma -contrib/funind/tacinv.ml: +contrib/funind/tacinv.ml: parsing/grammar.cma parsing/lexer.ml: parsing/q_util.ml: parsing/q_coqast.ml: |