From 162d8d297d36c2a0ac9e15440f4b8fa8b1b3fe31 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 2 Oct 2015 10:59:14 +0200
Subject: [PATCH] * bench/stutter/stutter_invariance_formulas.cc: Remove
 useless include.

---
 bench/stutter/stutter_invariance_formulas.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bench/stutter/stutter_invariance_formulas.cc b/bench/stutter/stutter_invariance_formulas.cc
index d8b8f811f..48e3fcf03 100644
--- a/bench/stutter/stutter_invariance_formulas.cc
+++ b/bench/stutter/stutter_invariance_formulas.cc
@@ -23,7 +23,6 @@
 #include "bin/common_output.hh"
 #include "twaalgos/translate.hh"
 #include "twaalgos/stutter.hh"
-#include "twaalgos/dupexp.hh"
 #include "twaalgos/stats.hh"
 #include "tl/apcollect.hh"
 #include "misc/timer.hh"