1 files changed, 3 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 72ddef4f6..d6ce5a4ff 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -23,5 +23,8 @@ CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
 
 CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
 
+CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and
+Diego Elio Petteno.
+
 CVC4 maintainer versions contain the script autogen.sh, by the
 U.S. Army Research Laboratory