freebsd-ports/lang/mozart/files/patch-platform-emulator-libfd-scheduling.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

22 lines
796 B
C++

--- ./platform/emulator/libfd/scheduling.cc.orig Thu Oct 17 09:01:44 2002
+++ ./platform/emulator/libfd/scheduling.cc Sat Sep 3 18:46:08 2005
@@ -9,8 +9,8 @@
* Organization or Person (Year(s))
*
* Last change:
- * $Date: 2002/10/17 13:01:44 $ by $Author: popow $
- * $Revision: 1.42 $
+ * $Date: 2005/01/30 10:42:35 $ by $Author: glynn $
+ * $Revision: 1.42.10.1 $
*
* This file is part of Mozart, an implementation
* of Oz 3:
@@ -32,7 +32,7 @@
//-----------------------------------------------------------------------------
#if !defined(MODULES_LINK_STATIC)
-template PropagatorController_V_V;
+template class _PropagatorController_V_V<OZ_Return,OZ_FDIntVar,PROCEED,FAILED,SLEEP>;
#endif
static inline int intMin(int a, int b) { return a < b ? a : b; }