From a228e46a393015546d6993e59bf178739c028aa6 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Fri, 5 Feb 2021 21:06:08 +0100
Subject: [PATCH] =?utf8?q?ENHANCED:=20Enable=20goal=20expansion=20for=20CL?=
 =?utf8?q?P(=E2=84=A4).?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

This is now possible since #445 is resolved.
---
 src/lib/clpz.pl | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index b7fa0ea7..ead80546 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3068,12 +3068,10 @@ is_false(var(X)) :- nonvar(X).
 
 :- dynamic(goal_expansion/1).
 
-% goal expansion is disabled for now, until #445 is resolved
-%
-% user:goal_expansion(Goal0, Goal) :-
-%         \+ goal_expansion(false),
-%         clpz_expandable(Goal0),
-%         clpz_expansion(Goal0, Goal).
+user:goal_expansion(Goal0, Goal) :-
+        \+ goal_expansion(false),
+        clpz_expandable(Goal0),
+        clpz_expansion(Goal0, Goal).
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-- 
2.54.0