Fix name conflict between visible/invisible operators in Macro

Maumagnaguagno · Sep 28, 2023 · a59f66f · a59f66f
1 parent 9d7dc6e
commit a59f66f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extensions/Macro.rb b/extensions/Macro.rb
@@ -70,7 +70,7 @@ def add_macro_to_subtasks(operators, macro, new_subtasks, counter, clear_ops, de
         param = subtask.drop(1)
         clear_ops[op] = nil
         # Header
-        (name ? name << '_and_' : name = 'invisible_macro_') << op.first.delete_prefix('invisible')
+        (name ? name << '_and_' : name = 'invisible_macro_') << op.first
         parameters.concat(param)
         variables = op[1]
         # Preconditions