diff --git a/AUTHORS b/AUTHORS
index e1bbbca..19960d4 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -16,15 +16,10 @@ Scyther compilation depends on a few external items:
 
 - A C compiler (gcc or anything modern *nixy will do)
 - The Flex and Bison scanner/compiler generation tools.
-- The argtable 2 library.
 
-The first two requirements are usually met by default by any modern *nix
+These two requirements are usually met by default by any modern *nix
 variant, such as GNU/Linux. 
 
-The argtable2 library is available under the LGPL license from
-http://argtable.sourceforge.net/doc/argtable2.html. Make sure the paths
-in the Makefile include the path to this library.
-
 If you want LaTeX output we need
 
 - LaTeX
diff --git a/src/license.txt b/src/license.txt
index 4a5bed6..f997d64 100644
--- a/src/license.txt
+++ b/src/license.txt
@@ -1,4 +1,3 @@
 - GNU getopt
 - GNU bison/flex
-- ARGTABLE	http://argtable.sourceforge.net/
 - de rest (c) Cas
diff --git a/src/main.c b/src/main.c
index 6e5846c..bd9e1f4 100644
--- a/src/main.c
+++ b/src/main.c
@@ -60,8 +60,6 @@ enum exittypes
 #include "binding.h"
 #include "switches.h"
 
-#include "argtable2.h"
-
 // The global system state
 System sys;
 
@@ -277,8 +275,6 @@ main (int argc, char **argv)
   memDone ();
 
 exit:
-  /* deallocate each non-null entry in argtable[] */
-
   return exitcode;
 }