From a7b0c18dbbbd8d48ac13b30f7bf91c991c3b66c6 Mon Sep 17 00:00:00 2001
From: mohring
Date: Mon, 18 Dec 2000 15:46:12 +0000
Subject: Mise a jour

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1138 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 PROBLEMES | 1 +
 1 file changed, 1 insertion(+)

diff --git a/PROBLEMES b/PROBLEMES
index 40bc23f481..739017297a 100644
--- a/PROBLEMES
+++ b/PROBLEMES
@@ -42,6 +42,7 @@ Dyade/BDD : Require Rocq/GRAPHS
 Lyon/AUTOMATA : OK
 Lyon/IEEE754 : OK
 Lyon/COINDUCTIVES : OK
+Lyon/CIRCUITS : OK
 
 Rocq/GRAPHS
 /home/cpaulin/TYPES/V7/bin/coqc  -q  -I . lsort
-- 
cgit v1.2.3