diff --git a/src/bin/common_aoutput.cc b/src/bin/common_aoutput.cc
index f29a127be..2312c1f52 100644
--- a/src/bin/common_aoutput.cc
+++ b/src/bin/common_aoutput.cc
@@ -24,7 +24,6 @@
 #include "common_aoutput.hh"
 #include "common_post.hh"
 #include "common_cout.hh"
-#include "common_post.hh"
 
 #include "twa/bddprint.hh"