potassco-patch-a363d9
No OneTemporary
Actions

Subscribers

None

File Metadata

	diff --git a/libgringo/src/python.cc b/libgringo/src/python.cc
	index 087d06d..31c5fe8 100644
	--- a/libgringo/src/python.cc
	+++ b/libgringo/src/python.cc
	@@ -6509,7 +6509,7 @@ Python::Python(GringoModule &) { }
	bool Python::exec(Location const &loc, String ) {
	std::stringstream ss;
	ss << loc << ": error: clingo has been build without python support\n";
	- throw GringoError(ss.str());
	+ throw GringoError(ss.str().c_str());
	}
	bool Python::callable(String) {
	return false;