From 1d10b9c709b22e0c7892168b53e6476580857643 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 20 Oct 2015 03:08:37 +0100
Subject: [PATCH] fix typo

---
 packages/ProbLog/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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