As as_cpp<int>()

Author: mgirlich

src/xml2_output.cpp

@@ -119,7 +119,7 @@ cpp11::sexp doc_write_file(cpp11::sexp doc_sxp, cpp11::strings path_sxp, cpp11::
 cpp11::sexp doc_write_connection(cpp11::sexp doc_sxp, cpp11::sexp connection, cpp11::strings encoding_sxp, cpp11::integers options_sxp) {
   XPtrDoc doc(doc_sxp);
   const char* encoding = cpp11::as_cpp<const char*>(encoding_sxp);
-  int options = options_sxp[0];
+  int options = cpp11::as_cpp<int>(options_sxp);
 
   xmlSaveCtxtPtr savectx = xmlSaveToIO(
       reinterpret_cast<xmlOutputWriteCallback>(xml_write_callback),