#ifndef H_CORAL_SAMEMODEL
#define H_CORAL_SAMEMODEL
// This file is part of the Coral project.
// Please read the copyright notice in the LICENSE file.

#include <coral/coral.h>

namespace coral {
	class EXPORTFWD_coral Atom;
	EXPORT_coral bool isSameModel(const coral::Atom* a1,
				      const coral::Atom* a2);
}

#endif
