1 files changed, 1 insertions, 1 deletions
diff --git a/CREDITS b/CREDITS
index 7a2d65f7c8..4f1071612d 100644
--- a/CREDITS
+++ b/CREDITS
@@ -46,7 +46,7 @@ plugins/omega
   developed by Pierre Crégut (France Telecom R&D, 1996)
 plugins/rtauto
   developed by Pierre Corbineau (LRI, 2005)
-plugins/setoid_ring
+plugins/ring
   developed by Benjamin Grégoire (INRIA-Everest, 2005-2006),
   Assia Mahboubi, Laurent Théry (INRIA-Marelle, 2006)
   and Bruno Barras (INRIA LogiCal, 2005-2006),