* Remove unnecessary inclusions of aterm2.h.

2006-09-04 22:08:40 +00:00
parent 2382a729e0
commit 4be5443882
7 changed files with 13 additions and 9 deletions
@@ -3,8 +3,6 @@

 #include <map>

-#include <aterm2.h>
-
 #include "aterm-map.hh"
 #include "types.hh"