00001 /* @HEADER@ */ 00002 // 00003 /* @HEADER@ */ 00004 00005 00006 00007 #include "PlayaDefs.hpp" 00008 00009 #ifdef HAVE_TEUCHOS_EXPLICIT_INSTANTIATION 00010 00011 #include "PlayaVectorSpaceBaseImpl.hpp" 00012 00013 template class Playa::VectorSpaceBase<double>; 00014 00015 #endif 00016 00017 00018