diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 45aefc5c5..5ee00f7c1 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -1013,7 +1013,9 @@ main(int argc, char** argv)
 	    }
 	  else if (degeneralize_opt == DegenSBA)
 	    {
+	      tm.start("degeneralization");
 	      degeneralized = a = spot::degeneralize(a);
+	      tm.stop("degeneralization");
 	      assume_sba = true;
 	    }
 	  else if (labeling_opt == StateLabeled)
@@ -1066,8 +1068,10 @@ main(int argc, char** argv)
 	    }
           else if (degeneralize_opt == DegenSBA)
 	    {
+	      tm.start("degeneralize product");
 	      product = product_degeneralized = a =
 		spot::degeneralize(product);
+	      tm.stop("degeneralize product");
 	      assume_sba = true;
 	    }
         }