From 48d164ddef14bb75ed80d5dc531488a09a93299c Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Thu, 18 Jun 2020 11:23:26 +0200
Subject: [PATCH] Initialize properly Counter::saved_value_ member

Spotted by coverity.
---
 src/Counters.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Counters.cpp b/src/Counters.cpp
index 15cede1a0f..144f5abbb3 100644
--- a/src/Counters.cpp
+++ b/src/Counters.cpp
@@ -34,7 +34,7 @@ namespace lyx {
 
 
 Counter::Counter()
-	: initial_value_(0)
+	: initial_value_(0), saved_value_(0)
 {
 	reset();
 }
@@ -42,7 +42,7 @@ Counter::Counter()
 
 Counter::Counter(docstring const & mc, docstring const & ls,
 		docstring const & lsa, docstring const & guiname)
-	: initial_value_(0), master_(mc), labelstring_(ls),
+	: initial_value_(0), saved_value_(0), master_(mc), labelstring_(ls),
 	  labelstringappendix_(lsa), guiname_(guiname)
 {
 	reset();
-- 
2.39.2