diff options
Diffstat (limited to 'lang/mozart/files/patch-share-lib-cp-FD.oz')
| -rw-r--r-- | lang/mozart/files/patch-share-lib-cp-FD.oz | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/lang/mozart/files/patch-share-lib-cp-FD.oz b/lang/mozart/files/patch-share-lib-cp-FD.oz deleted file mode 100644 index b9553e94152c..000000000000 --- a/lang/mozart/files/patch-share-lib-cp-FD.oz +++ /dev/null @@ -1,45 +0,0 @@ ---- ./share/lib/cp/FD.oz.orig Wed Apr 30 17:51:32 2003 -+++ ./share/lib/cp/FD.oz Sat Sep 3 18:46:09 2005 -@@ -10,8 +10,8 @@ - %%% Christian Schulte, 1997, 1998 - %%% - %%% Last change: --%%% $Date: 2003/04/30 21:51:32 $ by $Author: duchier $ --%%% $Revision: 1.59 $ -+%%% $Date: 2005/02/08 16:45:09 $ by $Author: raph $ -+%%% $Revision: 1.59.6.1 $ - %%% - %%% This file is part of Mozart, an implementation - %%% of Oz 3 -@@ -319,7 +319,19 @@ - - GenSumR = FdpSumR - GenSumCR = FdpSumCR -- GenSumCNR = FdpSumCNR -+ -+ %% was: GenSumCNR = FdpSumCNR, but the latter blocks until the -+ %% polynom becomes linear (bug fix) -+ proc {GenSumCNR IV DDV Rel D B} -+ NegRel = NegRelTable.Rel -+ in -+ {FdBool B} -+ thread -+ or B=1 {FdpSumCN IV DDV Rel D} -+ [] B=0 {FdpSumCN IV DDV NegRel D} -+ end -+ end -+ end - - local - proc {MapIntR N T TR Dom} -@@ -395,9 +407,7 @@ - dom: FdDomR - sum: GenSumR - sumC: GenSumCR -- sumCN: proc {$ A B C D E} -- thread {GenSumCNR A B C D E} end -- end -+ sumCN: GenSumCNR - sumAC: GenSumACR - sumACN: GenSumACNR - distance: DistanceR |