contrib/interface/dad.ml4 had no real need of streams, it should have been

translated into a regular ml files like the others.  This mistake is now
corrected.  The Makefile and dependency files are updated accordingly.


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2345 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 1 deletions

diff --git a/.depend b/.depend
index c92f20088..d83d0f6d6 100644
--- a/.depend
+++ b/.depend
@@ -2247,7 +2247,6 @@ toplevel/mltop.cmo:
 lib/pp.cmo: 
 contrib/xml/xml.cmo: 
 contrib/xml/xmlcommand.cmo: 
-contrib/interface/dad.cmo: 
 contrib/interface/line_parser.cmo: 
 tools/coq_makefile.cmo: 
 tools/coq-tex.cmo: