From dce28a774ee625f5dcfc75029809c2523fe87fb7 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 2 Jun 2016 10:54:08 +0100
Subject: [PATCH] fixes in simplecudd & lbdd

---
 packages/bdd/simplecudd/CMakeLists.txt     | 2 +-
 packages/bdd/simplecudd_lfi/CMakeLists.txt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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