/* Reverse execution and reverse debugging.
- Copyright (C) 2006-2017 Free Software Foundation, Inc.
+ Copyright (C) 2006-2018 Free Software Foundation, Inc.
This file is part of GDB.
std::string reverse_command = string_printf ("%s %s", cmd, args ? args : "");
scoped_restore restore_exec_dir
= make_scoped_restore (&execution_direction, EXEC_REVERSE);
- execute_command (&reverse_command[0], from_tty);
+ execute_command (reverse_command.c_str (), from_tty);
}
static void