From 73f3c2168325c78a683ab3adb9e753269dccb61c Mon Sep 17 00:00:00 2001
From: Hugo Devillers <devillers@cg.uni-saarland.de>
Date: Mon, 24 Jun 2024 10:24:03 +0200
Subject: [PATCH] dump: don't include cont. name in param names anymore

---
 src/thorin/rec_stream.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/thorin/rec_stream.cpp b/src/thorin/rec_stream.cpp
index 1dfde9ef3..1ddf66f4a 100644
--- a/src/thorin/rec_stream.cpp
+++ b/src/thorin/rec_stream.cpp
@@ -117,7 +117,7 @@ Stream& Def::stream(Stream& s, size_t max) const {
 
 Stream& Def::stream1(Stream& s) const {
     if (auto param = isa<Param>()) {
-        return s.fmt("{}.{}", param->continuation(), param->unique_name());
+        return s.fmt("{}", param->unique_name());
     } else if (isa<Continuation>()) {
 #if THORIN_ENABLE_CREATION_CONTEXT
         if (debug().creation_context != "")