From e5516768b427aed0c0d35f0430885d34484024ec Mon Sep 17 00:00:00 2001 From: coq Date: Thu, 6 Feb 2003 10:19:31 +0000 Subject: commentaire git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3667 85f007b7-540e-0410-9357-904b9bb8a0f7 --- test-suite/modules/mod_decl.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test-suite/modules') diff --git a/test-suite/modules/mod_decl.v b/test-suite/modules/mod_decl.v index b2a103a8f..867b8a11f 100644 --- a/test-suite/modules/mod_decl.v +++ b/test-suite/modules/mod_decl.v @@ -49,7 +49,7 @@ Module Type T. Declare Module M5<:SIG:=M0. - Declare Module M6:=F M0. + Declare Module M6:=F M0. (* error *) Module M7. End T. \ No newline at end of file -- cgit v1.2.3