diff options
Diffstat (limited to 'openmp/libomptarget/src/rtl.cpp')
| -rw-r--r-- | openmp/libomptarget/src/rtl.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/openmp/libomptarget/src/rtl.cpp b/openmp/libomptarget/src/rtl.cpp index c5e87490c89..64a7f7fe128 100644 --- a/openmp/libomptarget/src/rtl.cpp +++ b/openmp/libomptarget/src/rtl.cpp @@ -19,6 +19,7 @@ #include <cstring> #include <dlfcn.h> #include <mutex> +#include <string> // List of all plugins that can support offloading. static const char *RTLNames[] = { |
