123456789101112131415161718192021222324252627 |
- diff --git a/libfac/factor/tmpl_inst.cc b/libfac/factor/tmpl_inst.cc
- index bda287a..2f5ba49 100644
- Index: libfac/factor/tmpl_inst.cc
- ===================================================================
- --- a/libfac/factor/tmpl_inst.cc
- +++ b/libfac/factor/tmpl_inst.cc
- @@ -3,7 +3,7 @@
- ////////////////////////////////////////////////////////////
-
-
- -//#include <templates/ftmpl_array.cc>
- +#include <factory/templates/ftmpl_array.cc>
- //#include <templates/ftmpl_factor.cc>
- #include <templates/ftmpl_list.h>
- #include <factory/templates/ftmpl_list.cc>
- @@ -75,8 +75,8 @@ template OSTREAM & operator << ( OSTREAM &, const List<Variable> & );
- template OSTREAM & operator << ( OSTREAM &, const Array<int> & );
- #endif
-
- -template class Array<int>;
- -template class Array<Variable>;
- +//template class Array<int>;
- +//template class Array<Variable>;
- //template class Array<REvaluation>;
-
- // for database
|