MainWindow: Fix dock nesting

[pulseview.git] / pv / prop / int.hpp

diff --git a/pv/prop/int.hpp b/pv/prop/int.hpp
index a1c529fd2e6856f5e097c3e6465a5ed9e9614ac6..baf7dd7e1a8007fc7f7aafca7f5eaf4e2ab8df89 100644 (file)
--- a/pv/prop/int.hpp
+++ b/pv/prop/int.hpp
@@ -18,8 +18,8 @@
  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
  */
 
-#ifndef PULSEVIEW_PV_PROP_INT_H
-#define PULSEVIEW_PV_PROP_INT_H
+#ifndef PULSEVIEW_PV_PROP_INT_HPP
+#define PULSEVIEW_PV_PROP_INT_HPP
 
 #include <utility>
 
@@ -41,7 +41,7 @@ public:
                boost::optional< std::pair<int64_t, int64_t> > range,
                Getter getter, Setter setter);
 
-       virtual ~Int();
+       virtual ~Int() = default;
 
        QWidget* get_widget(QWidget *parent, bool auto_commit);
 
@@ -61,4 +61,4 @@ private:
 } // prop
 } // pv
 
-#endif // PULSEVIEW_PV_PROP_INT_H
+#endif // PULSEVIEW_PV_PROP_INT_HPP