diff --git a/wrap/python/spot_impl.i b/wrap/python/spot_impl.i
index 267e4cf9b..115407809 100644
--- a/wrap/python/spot_impl.i
+++ b/wrap/python/spot_impl.i
@@ -140,6 +140,7 @@ namespace std {
 #include "twaalgos/stutter.hh"
 #include "twaalgos/translate.hh"
 #include "twaalgos/hoa.hh"
+#include "twaalgos/dtgbasat.hh"
 
 #include "hoaparse/public.hh"
 
@@ -282,6 +283,7 @@ using namespace spot;
 %include "twaalgos/stutter.hh"
 %include "twaalgos/translate.hh"
 %include "twaalgos/hoa.hh"
+%include "twaalgos/dtgbasat.hh"
 
 %include "hoaparse/public.hh"