1 files changed, 1 insertions, 0 deletions
diff --git a/COPYRIGHT b/COPYRIGHT
index 006ce18f1..8c08e05e6 100644
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -9,6 +9,7 @@ This product includes also software developed by
   Claudio Sacerdoti Coen, HELM, University of Bologna, (plugins/xml)
   Pierre Corbineau, Radboud University, Nijmegen (declarative mode)
   John Harrison, University of Cambridge (csdp wrapper)
+  Georges Gonthier, Microsoft Research - Inria Joint Centre (plugins/ssrmatching)
 
 The file CREDITS contains a list of contributors.
 The credits section in the Reference Manual details contributions.