From 142df1b1e9edfb02184e3e9664d9841b51e0ef38 Mon Sep 17 00:00:00 2001
From: "Field G. Van Zee" <field@cs.utexas.edu>
Date: Tue, 14 Jan 2020 15:17:53 -0600
Subject: [PATCH] CREDITS file update.

---
 CREDITS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CREDITS b/CREDITS
index 9db863714..ecc017fee 100644
--- a/CREDITS
+++ b/CREDITS
@@ -45,7 +45,7 @@ but many others have contributed code and feedback, including
   Mike Kistler             @mkistler           (IBM, Austin Research Laboratory)
   Kyungmin Lee             @kyungminlee        (Ohio State University)
   Michael Lehn             @michael-lehn
-                           @ShmuelLevine
+  Shmuel Levine            @ShmuelLevine
   Dave Love                @loveshack
   Tze Meng Low                                 (The University of Texas at Austin)
   Ye Luo                   @ye-luo             (Argonne National Laboratory)