CurrySettings1Instantiation.cpp

Go to the documentation of this file.

/**
 * @file CurryInstantiation.cpp.in
 * @author Henrich Lauko <xlauko@mail.muni.cz>
 * @author Dominika Krejci <dominika.krejci@rwth-aachen.de>
 *
 * @version 2018-11-18
 * Created on 2018-11-18.
 */
 
#include "CurryModule.tpp"
 
namespace smtrat {
template class CurryModule<CurrySettings1>;
 
}