From ddee3df5f8ed9a7358b467f8682ab2e73fa3c8e8 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 20 Jun 2013 18:09:30 -0500
Subject: [PATCH] fix order

---
 packages/CLPBN/pfl.yap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/CLPBN/pfl.yap b/packages/CLPBN/pfl.yap
index 1e80dc287..da3fc1bd2 100644
--- a/packages/CLPBN/pfl.yap
+++ b/packages/CLPBN/pfl.yap
@@ -162,7 +162,7 @@ process_arg(Sk, Id, _I) -->
 	  % if :: been used before for this skolem
 	  % just keep on using it,
 	  % otherwise, assume it is t,f
-	  ( \+ \+ skolem(Sk,_D) -> true ; new_skolem(Sk,[t,f]) ),
+	  ( \+ \+ skolem(Sk,_D) -> true ; new_skolem(Sk,[f,t]) ),
 	  assert(skolem_in(Sk, Id))
 	},
 	[Sk].