From 1d75f0886cc58a9e324be89b6d8fabc835a3bfed Mon Sep 17 00:00:00 2001 From: guilpier-code <62292552+guilpier-code@users.noreply.github.com> Date: Thu, 26 Sep 2024 14:49:04 +0200 Subject: [PATCH] AST to DOT : forgotten commit (#2429) Co-authored-by: Florian OMNES --- src/solver/expressions/visitors/AstDOTStyleVisitor.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solver/expressions/visitors/AstDOTStyleVisitor.cpp b/src/solver/expressions/visitors/AstDOTStyleVisitor.cpp index a1e3f6fbde..59ce151f06 100644 --- a/src/solver/expressions/visitors/AstDOTStyleVisitor.cpp +++ b/src/solver/expressions/visitors/AstDOTStyleVisitor.cpp @@ -191,7 +191,7 @@ void AstDOTStyleVisitor::computeNumberNodesPerType() { for (const auto& [node, _]: nodeIds_) { - nbNodesPerType_[node->name()]++; + ++nbNodesPerType_[node->name()]; } }