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.