From 6656d175e5c7607d28e15c70707a0bce2c41815c Mon Sep 17 00:00:00 2001
From: Tom Schrijvers <Tom.Schrijvers@cs.kuleuven.be>
Date: Tue, 3 Oct 2006 13:20:37 +0000
Subject: [PATCH] bug fix

---
 chr_translate.chr | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/chr_translate.chr b/chr_translate.chr
index 1cb763b..e666857 100644
--- a/chr_translate.chr
+++ b/chr_translate.chr
@@ -49,7 +49,6 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%
 %% OPEN BUGS
-%%	* matching between ground and non-ground variable not properly guarded
 %%
 %% URGENTLY TODO
 %%
@@ -5134,7 +5133,7 @@ add_arg_ground_variables([Arg|Args],[Mode|Modes],GroundVars,NGroundVars) :-
 		term_variables(Arg,Vars),
 		add_var_ground_variables(Vars,GroundVars,GroundVars1)
 	;
-		GroundVars1 = GroundVars1
+		GroundVars = GroundVars1
 	),
 	add_arg_ground_variables(Args,Modes,GroundVars1,NGroundVars).
 
-- 
2.11.4.GIT