1 files changed, 2 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index a6aa23127..72ddef4f6 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -21,5 +21,7 @@ Temporal Wave LLC.
 
 CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
 
+CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
+
 CVC4 maintainer versions contain the script autogen.sh, by the
 U.S. Army Research Laboratory