blob: bdee5dd39eb815d77a235c53e8b91420a2e66bfe (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--- ./platform/emulator/libfd/card.cc.orig Mon Apr 28 08:32:28 2003
+++ ./platform/emulator/libfd/card.cc Sat Sep 3 18:46:08 2005
@@ -9,8 +9,8 @@
* Organization or Person (Year(s))
*
* Last change:
- * $Date: 2003/04/28 12:32:28 $ by $Author: glynn $
- * $Revision: 1.28 $
+ * $Date: 2005/02/08 16:45:09 $ by $Author: raph $
+ * $Revision: 1.28.8.1 $
*
* This file is part of Mozart, an implementation
* of Oz 3:
@@ -151,6 +151,8 @@
sum_ops op = getSumOps(OZ_in(2));
// wait for linearity
+ // raph: This is a fix for a bug in the propagator, which is
+ // apparently not correct in the non-linear case.
OZ_EXPECT(pe, 1, expectVectorLinearVector);
if (op == sum_ops_neq) {
|
