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;