Skip to content

Commit

Permalink
ast dot vonst
Browse files Browse the repository at this point in the history
  • Loading branch information
payetvin committed Nov 5, 2024
1 parent def6253 commit 2fe9db9
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ class AstDOTStyleVisitor: public NodeVisitor<void, std::ostream&>
* @param os The output stream to which the DOT representation is written.
* @param root The root of the expression to be output.
*/
void operator()(std::ostream& os, Nodes::Node* root);
void operator()(std::ostream& os, const Nodes::Node* root);

private:
void visit(const Nodes::SumNode* node, std::ostream& os) override;
Expand Down
2 changes: 1 addition & 1 deletion src/solver/expressions/visitors/AstDOTStyleVisitor.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -258,7 +258,7 @@ void AstDOTStyleVisitor::EndTreeGraph(std::ostream& os)
nbNodesPerType_.clear();
}

void AstDOTStyleVisitor::operator()(std::ostream& os, Nodes::Node* root)
void AstDOTStyleVisitor::operator()(std::ostream& os, const Nodes::Node* root)
{
NewTreeGraph(os);
dispatch(root, os);
Expand Down

0 comments on commit 2fe9db9

Please sign in to comment.