--- src/drat_trim_interface.cc.orig	2019-06-05 12:38:48.431579450 -0600
+++ src/drat_trim_interface.cc	2019-06-06 09:22:07.598736625 -0600
@@ -62,9 +62,9 @@ int CheckAndConvertToLRAT(const string&
   args.push_back("-L");
   args.push_back(output_proof_path);
 
-  vector<char*> args_c_strings;
+  vector<const char*> args_c_strings;
   for(auto& argument : args) {
-    args_c_strings.push_back(&argument.front());
+    args_c_strings.push_back(argument.c_str());
   }
 
   return run_drat_trim(args_c_strings.size(), args_c_strings.data());
@@ -96,9 +96,9 @@ int OptimizeWithDratTrim(const string& i
   args.push_back("-c");
   args.push_back(output_formula_path);
 
-  vector<char*> args_c_strings;
+  vector<const char*> args_c_strings;
   for(auto& argument : args) {
-    args_c_strings.push_back(&argument.front());
+    args_c_strings.push_back(argument.c_str());
   }
 
   return run_drat_trim(args_c_strings.size(), args_c_strings.data());