mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-22 10:00:33 +00:00
Add comment to fix coverity #23438.
This commit is contained in:
parent
d29732e138
commit
ae676958d9
@ -35,6 +35,9 @@ namespace {
|
||||
class Correction {
|
||||
public:
|
||||
///
|
||||
/// \brief Correction
|
||||
// it is fine not to initialize from2_
|
||||
// coverity[UNINIT_CTOR]
|
||||
Correction() {}
|
||||
///
|
||||
bool correct(MathAtom & at, char_type c) const;
|
||||
|
Loading…
Reference in New Issue
Block a user