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