git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/AUTHORS b/AUTHORS
index d91463bb64b993934cb008dc07a7d60f1531c62c..68907a5971dab5588204c50cf89126caf26cf63a 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -23,8 +23,8 @@ Trevor Alexander Hansen, University of Melbourne, Australia (Sep, 2008 - present
 
 Authors who contributed some code
 ---------------------------------------
-David L. Dill, Stanford University, Stanford, CA, USA (Nov - Dec, 2005)
 Michael Katelman, University of Illinois, Urbana-Champaign, USA (July - Oct, 2008)
+David L. Dill, Stanford University, Stanford, CA, USA (Nov - Dec, 2005)
 Tim King, Stanford University, Stanford, CA, USA (July - Sep, 2007)
 Philip Guo, Stanford University, Stanford, CA, USA (Dec 2008 - Jan 2009)