added read mode

esbmc · Jul 1, 2024 · e6a0056 · e6a0056
1 parent 3166993
commit e6a0056
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/bounded-loop-unroller/frontend_action.cpp b/src/bounded-loop-unroller/frontend_action.cpp
@@ -22,8 +22,8 @@ namespace {
 
   bool compare_files(const std::string_view& filename1, const std::string_view& filename2)
   {
-    std::ifstream file1(filename1);
-    std::ifstream file2(filename2);
+    std::ifstream file1(filename1, std::ios::in);
+    std::ifstream file2(filename2, std::ios::in);
 
     std::istreambuf_iterator<char> begin1(file1);
     std::istreambuf_iterator<char> begin2(file2);