more .data()

esbmc · Jul 1, 2024 · caaba81 · caaba81
1 parent 340ca5c
commit caaba81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bounded-loop-unroller/frontend_action.cpp b/src/bounded-loop-unroller/frontend_action.cpp
@@ -69,7 +69,7 @@ namespace BoundedLoopUnroller {
 
   void Run(const std::string_view &arg1, const std::string_view &arg2) {
 
-    const std::ifstream input(arg1);
+    const std::ifstream input(arg1.data());
 
     const char *tmp1 = "/tmp/_unrolled1.c";
     const char *tmp2 = "/tmp/_unrolled2.c";