diff --git a/packages/ProbLog/CMakeLists.txt b/packages/ProbLog/CMakeLists.txt
index 812eeb4c9..9ecb76440 100644
--- a/packages/ProbLog/CMakeLists.txt
+++ b/packages/ProbLog/CMakeLists.txt
@@ -1,5 +1,5 @@
 set (PROGRAMS
-  Problog.yap 
+  problog.yap 
   problog_lbdd.yap 
   problog_lfi.yap 
   dtproblog.yap