From 61fa57ad4c5e750a2358396195830c4af7ea172c Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Thu, 22 Feb 2018 00:55:10 -0500 Subject: [PATCH] Fix bug #10897. --- src/insets/InsetFloatList.h | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/insets/InsetFloatList.h b/src/insets/InsetFloatList.h index 32a0dd5c81..3d6a7a3569 100644 --- a/src/insets/InsetFloatList.h +++ b/src/insets/InsetFloatList.h @@ -78,9 +78,6 @@ private: /// docstring screenLabel() const; //@} - - /// - static ParamInfo param_info_; };