1 files changed, 1 insertions, 1 deletions
diff --git a/CREDITS b/CREDITS
index 68009d3903..53bd9e93cd 100644
--- a/CREDITS
+++ b/CREDITS
@@ -47,7 +47,7 @@ plugins/funind
   and Yves Bertot (INRIA-Marelle, 2005-2006)
 plugins/omega
   developed by Pierre Crégut (France Telecom R&D, 1996)
-plugins/groebner
+plugins/nsatz
   developed by Loïc Pottier (INRIA-Marelle, 2009)
 plugins/ring
   developed by Samuel Boutin (INRIA-Coq, 1996) and Patrick