From 8d82c91a8417f88c95389206752beb9741f93259 Mon Sep 17 00:00:00 2001
From: Gabriele Oliaro <goliaro@cs.cmu.edu>
Date: Thu, 14 Mar 2024 00:52:03 +0000
Subject: [PATCH] fix

---
 src/mapper/mapper.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/mapper/mapper.cc b/src/mapper/mapper.cc
index d46bfc2877..d7aac4e37c 100644
--- a/src/mapper/mapper.cc
+++ b/src/mapper/mapper.cc
@@ -501,7 +501,9 @@ void FFMapper::map_task(const MapperContext ctx,
   output.task_priority = 0;
   output.postmap_task = false;
   if (task.target_proc.address_space() != node_id) {
-    assert(false);
+    if (enable_control_replication) {
+      assert(false);
+    }
     output.target_procs.push_back(task.target_proc);
   } else if (task.target_proc.kind() == Processor::TOC_PROC) {
     output.target_procs.push_back(task.target_proc);