diff options
Diffstat (limited to '.depend.camlp4')
-rw-r--r-- | .depend.camlp4 | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.depend.camlp4 b/.depend.camlp4 index 13318ae60..ee4e34156 100644 --- a/.depend.camlp4 +++ b/.depend.camlp4 @@ -16,8 +16,6 @@ contrib/extraction/g_extraction.ml: parsing/grammar.cma contrib/xml/xmlentries.ml: parsing/grammar.cma 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: parsing/grammar.cma contrib/first-order/g_ground.ml: parsing/grammar.cma parsing/lexer.ml: |