CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Oct 08 00:13:39 2014 +0200
+++ b/CONTRIBUTORS	Wed Oct 08 09:09:12 2014 +0200
@@ -10,6 +10,9 @@
   Lexicographic order on functions and
   sum/product over function bodies.
 
+* August 2014: Andreas Lochbihler, ETH Zurich
+  Test infrastructure for executing generated code in target langauges
+
 * August 2014: Manuel Eberl, TUM
   Generic euclidean algorithms for gcd et al.