Skip to content

Commit

Permalink
dump: don't include cont. name in param names anymore
Browse files Browse the repository at this point in the history
  • Loading branch information
Hugobros3 committed Jun 24, 2024
1 parent 5b1b623 commit 73f3c21
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/thorin/rec_stream.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -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 != "")
Expand Down

0 comments on commit 73f3c21

Please sign in to comment.