diff --git a/spot/ltsmin/ltsmin.hh b/spot/ltsmin/ltsmin.hh
index 17e10ab68..4762a0de9 100644
--- a/spot/ltsmin/ltsmin.hh
+++ b/spot/ltsmin/ltsmin.hh
@@ -29,7 +29,7 @@ namespace spot
 {
   struct spins_interface;
   class cspins_iterator;
-  using cspins_state = int*;
+  typedef int* cspins_state;
 
   class SPOT_API ltsmin_model final
   {