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"