From eea7805551cbac2285631a6caf02a8f6d3623b51 Mon Sep 17 00:00:00 2001 From: comet Date: Mon, 27 Jan 2020 17:12:06 -0600 Subject: [PATCH] update --- src/ast/ast.cpp | 2 +- src/ast/ast.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp index 5e67d65fa..b6f678fea 100644 --- a/src/ast/ast.cpp +++ b/src/ast/ast.cpp @@ -668,7 +668,7 @@ ast* ast_table::pop_erase() { // ----------------------------------- /** - \brief Checks wether a log is being generated and, if necessary, adds the beginning of an "[attach-meaning]" line + \brief Checks whether a log is being generated and, if necessary, adds the beginning of an "[attach-meaning]" line to that log. The theory solver should add some description of the meaning of the term in terms of the theory's internal reasoning to the end of the line and insert a line break. diff --git a/src/ast/ast.h b/src/ast/ast.h index 9f61911a5..b5ae55729 100644 --- a/src/ast/ast.h +++ b/src/ast/ast.h @@ -1004,7 +1004,7 @@ protected: virtual void inherit(decl_plugin* other_p, ast_translation& ) { } /** - \brief Checks wether a log is being generated and, if necessary, adds the beginning of an "[attach-meaning]" line + \brief Checks whether a log is being generated and, if necessary, adds the beginning of an "[attach-meaning]" line to that log. The theory solver should add some description of the meaning of the term in terms of the theory's internal reasoning to the end of the line and insert a line break.