diff --git a/packages/bdd/simplecudd/CMakeLists.txt b/packages/bdd/simplecudd/CMakeLists.txt
index 1522cded2..45fdf6ed6 100644
--- a/packages/bdd/simplecudd/CMakeLists.txt
+++ b/packages/bdd/simplecudd/CMakeLists.txt
@@ -10,7 +10,7 @@ add_executable (Problogbdd
   ${SRC})
 
 set_target_properties (Problogbdd PROPERTIES
-  OUTPUT_NAME problogbdd
+  OUTPUT_NAME simplecudd
   )
 
 target_link_libraries(Problogbdd
diff --git a/packages/bdd/simplecudd_lfi/CMakeLists.txt b/packages/bdd/simplecudd_lfi/CMakeLists.txt
index 8d9c3a9fe..ce67fc8de 100644
--- a/packages/bdd/simplecudd_lfi/CMakeLists.txt
+++ b/packages/bdd/simplecudd_lfi/CMakeLists.txt
@@ -14,7 +14,7 @@ add_executable (Problogbdd-Lfi
   ${SRC})
 
 set_target_properties (Problogbdd-Lfi PROPERTIES
-  OUTPUT_NAME problogbdd_lfi
+  OUTPUT_NAME simplecudd_lfi
   )
 
 target_link_libraries(Problogbdd-Lfi