1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-09 06:51:44 +00:00
freebsd-ports/lang/mozart/files/patch-platform-emulator-libfd-card.cc
Pav Lucistnik f98f52441b - Update to 1.3.1.20040616
- Incorporate debian patches to fix build with gcc3

PR:		ports/86058
Submitted by:	Geoffrey Mainland <mainland@apeiron.net>
Approved by:	Mathis Picker <Mathias.Picker@gmx.de> (maintainer)
2005-09-16 11:38:26 +00:00

23 lines
725 B
C++

--- ./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) {