From 47833caad59d0d3e2b645e4099cde35a9d979384 Mon Sep 17 00:00:00 2001
From: Jan Wielemaker <wielemak@science.uva.nl>
Date: Sat, 16 Apr 2005 14:11:30 +0000
Subject: [PATCH] * Added patch by Jon Sneyers

---
 Changelog         | 4 ++++
 chr_translate.chr | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/Changelog b/Changelog
index 191ab27..91649d4 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,7 @@
+Apr 16, 2005
+
+  * JW: Added patch from Jon Sneyers.
+
 Mar 11, 2005
 
   * TS: Improved head reordering heuristic.
diff --git a/chr_translate.chr b/chr_translate.chr
index 46b72f3..d671e28 100644
--- a/chr_translate.chr
+++ b/chr_translate.chr
@@ -238,7 +238,7 @@ get_constraint_mode(FA,Q) <=>
 
 constraint_mode(FA,Mode), indexed_argument(FA,I) \ may_trigger(FA) <=> 
   nth(I,Mode,M),
-  M \== (+),
+  M \== (+)|
   is_stored(FA). 
 may_trigger(FA) <=> chr_pp_flag(debugable,on).	% in debug mode, we assume everything can be triggered
 
-- 
2.11.4.GIT