lang/mozart/files/patch-platform-emulator-libfd-scheduling.cc


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/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; }