From d974851c0eae4494d89cf75883609946105666fc Mon Sep 17 00:00:00 2001
From: "Thanh C. Tran" <trancong@rhrk.uni-kl.de>
Date: Mon, 3 Apr 2017 22:14:44 +0200
Subject: [PATCH] Small fix

---
 DRAMSys/simulator/src/controller/scheduler/SMS.cpp | 4 +++-
 DRAMSys/simulator/src/simulation/main.cpp          | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/DRAMSys/simulator/src/controller/scheduler/SMS.cpp b/DRAMSys/simulator/src/controller/scheduler/SMS.cpp
index b7da758e..af4af7be 100644
--- a/DRAMSys/simulator/src/controller/scheduler/SMS.cpp
+++ b/DRAMSys/simulator/src/controller/scheduler/SMS.cpp
@@ -71,10 +71,12 @@ bool SMS::batchFormation()
   else
   {
     bool isBatchForm = false;
+    bool isBatchFormForThread = false;
     unsigned int totalNumThreads = Configuration::getInstance().NumberOfTracePlayers;
     for (unsigned int threadID = 1; threadID <= totalNumThreads; threadID++)
     {
-      isBatchForm = isBatchForm || batchFormation(Thread(threadID));
+      isBatchFormForThread = batchFormation(Thread(threadID));
+      isBatchForm = isBatchForm || isBatchFormForThread;
     }
     return isBatchForm;
   }
diff --git a/DRAMSys/simulator/src/simulation/main.cpp b/DRAMSys/simulator/src/simulation/main.cpp
index 207d99db..87a8d27a 100644
--- a/DRAMSys/simulator/src/simulation/main.cpp
+++ b/DRAMSys/simulator/src/simulation/main.cpp
@@ -83,7 +83,7 @@ int sc_main(int argc, char **argv)
     if(argc > 1)
         simulationToRun = argv[1];
     else
-        simulationToRun = resources + "simulations/sim-batch.xml";
+        simulationToRun = resources + "simulations/sms-example.xml";
     cout << "Simulation file is " << simulationToRun << endl;
 
     SimulationManager manager(resources);