diff options
| -rw-r--r-- | www/analyzer/checker_dev_manual.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/www/analyzer/checker_dev_manual.html b/www/analyzer/checker_dev_manual.html index cd628a1511..fc9adf371e 100644 --- a/www/analyzer/checker_dev_manual.html +++ b/www/analyzer/checker_dev_manual.html @@ -334,7 +334,8 @@ source code. <li> To dump AST of a method that the current <tt>ExplodedNode</tt> belongs to: <br><tt> -(gdb) <b>p ENode->getCodeDecl().getBody()->dump(getContext().getSourceManager())</b> +(gdb) <b>p C.getPredecessor()->getCodeDecl().getBody()->dump()</b> +(gdb) <b>p C.getPredecessor()->getCodeDecl().getBody()->dump(getContext().getSourceManager())</b> </tt> </li> </ul> |