Render unto Caesar... (Mention contribution by Dockins and Steward.)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1375 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 2 insertions, 0 deletions

diff --git a/common/Memory.v b/common/Memory.v
index 1fb7816..0e9fbfa 100644
--- a/common/Memory.v
+++ b/common/Memory.v
@@ -4,6 +4,8 @@
 (*                                                                     *)
 (*          Xavier Leroy, INRIA Paris-Rocquencourt                     *)
 (*          Sandrine Blazy, ENSIIE and INRIA Paris-Rocquencourt        *)
+(*          with contributions from Andrew Appel, Rob Dockins,         *)
+(*          and Gordon Stewart (Princeton University)                  *)
 (*                                                                     *)
 (*  Copyright Institut National de Recherche en Informatique et en     *)
 (*  Automatique.  All rights reserved.  This file is distributed       *)