From 0cbe8fe0c9466ded1d3fba6c3186b5eff68c8f9e Mon Sep 17 00:00:00 2001
From: "Paul P.H. Wilson" <paul.wilson@wisc.edu>
Date: Sat, 9 Mar 2024 14:03:20 -0600
Subject: [PATCH] properly load first resource into bulk storage ResBuf

---
 src/toolkit/res_buf.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/toolkit/res_buf.h b/src/toolkit/res_buf.h
index 52a4652ceb..31d1de142f 100644
--- a/src/toolkit/res_buf.h
+++ b/src/toolkit/res_buf.h
@@ -255,7 +255,7 @@ class ResBuf {
     } else if (rs_present_.count(m) == 1) {
       throw KeyError("duplicate resource push attempted");
     }
-    if (!is_bulk_) {
+    if (!is_bulk_  || rs_.size() == 0) {
       rs_.push_back(m);
       rs_present_.insert(m);
     } else {
@@ -304,7 +304,7 @@ class ResBuf {
     }
 
     for (int i = 0; i < rss.size(); i++) {
-      if (!is_bulk_) {
+      if (!is_bulk_ || rs_.size() == 0) {
         rs_.push_back(rss[i]);
         rs_present_.insert(rss[i]);
       } else {