From 953907a0f3bd87f089d656ecd06cb46893354b93 Mon Sep 17 00:00:00 2001
From: Samuel Stante <samuel.stante@gmail.com>
Date: Tue, 3 Sep 2024 20:11:33 +0200
Subject: [PATCH] fix wrong str_impl in til_c effect

---
 src/core/elements/roles/til_c.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/elements/roles/til_c.cpp b/src/core/elements/roles/til_c.cpp
index faa92e8d..1d7c94ff 100644
--- a/src/core/elements/roles/til_c.cpp
+++ b/src/core/elements/roles/til_c.cpp
@@ -96,7 +96,7 @@ namespace dlplan::core
 
     void TilCRole::str_impl(std::stringstream &out) const
     {
-        out << "r_and" << "(";
+        out << "r_til_c" << "(";
         m_role->str(out);
         out << ",";
         m_concept->str(out);