coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "George Necula" <necula AT eecs.berkeley.edu>
- To: <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club]Possible bug in coqdep
- Date: Wed, 1 Nov 2006 19:41:09 -0800
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
If my module contains
Require Import List Elists.
then coqdep misses Elists. If instead I break that line into separate
Require Import commands, then get the correct dependencies.
George.
- [Coq-Club]Possible bug in coqdep, George Necula
- Re: [Coq-Club]Possible bug in coqdep, Hugo Herbelin
Archive powered by MhonArc 2.6.16.