plugins/include/adt.inc
changeset 1999 63aafc6ff212
parent 1952 b7aa2b626807
child 2289 44045ead61cd
     1.1 --- a/plugins/include/adt.inc	Sun Apr 13 04:00:44 2008 +0000
     1.2 +++ b/plugins/include/adt.inc	Sun Apr 13 06:06:27 2008 +0000
     1.3 @@ -37,3 +37,4 @@
     1.4  
     1.5  #include <adt_array>
     1.6  #include <adt_trie>
     1.7 +#include <adt_stack>