Commentary - Spelling fixes

This commit is contained in:
Wilson Snyder
2019-09-09 07:50:21 -04:00
parent a4daae66de
commit fa904f386c
50 changed files with 83 additions and 83 deletions
+1 -1
View File
@@ -95,7 +95,7 @@ private:
virtual void visit(AstNodePslCoverOrAssert* nodep) {
if (nodep->sentreep()) return; // Already processed
clearAssertInfo();
// Find PslClocking's burried under nodep->exprsp
// Find PslClocking's buried under nodep->exprsp
iterateChildren(nodep);
nodep->sentreep(newSenTree(nodep));
clearAssertInfo();