diff --git a/CREDITS b/CREDITS
index 7f49cfd1..b42c7dc7 100644
--- a/CREDITS
+++ b/CREDITS
@@ -12,6 +12,7 @@ Anton Altaparmakov <aia21@cantab.net>
 Albert D. Cahalan <acahalan@cs.uml.edu>
 Russ Christensen <rchriste@cs.utah.edu>
 Pete Curran <curran@rpi.edu>
+Mario Emmenlauer <mario@emmenlauer.de>
 Andras Erdei <ccg@freemail.hu>
 Matthew J. Fanto <mattjf@uncompiled.com>
 Yuval Fledel (no email address on request)