From 2749702e7577c3df9baaba713017490bdf42c1e4 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 11 May 2015 19:46:06 +0200
Subject: [PATCH] * src/bin/common_aoutput.cc: Remove duplicate include.

---
 src/bin/common_aoutput.cc | 1 -
 1 file changed, 1 deletion(-)

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"