1 files changed, 1 insertions, 0 deletions
diff --git a/PROBLEMES b/PROBLEMES
index 40bc23f48..739017297 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