From 6a3d99a8e6cce80755cce6d187394e5b8da741b7 Mon Sep 17 00:00:00 2001
From: Paul Licameli <paul.licameli@gmail.com>
Date: Wed, 24 Feb 2016 21:14:19 -0500
Subject: [PATCH] travis

---
 src/widgets/valnum.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/widgets/valnum.h b/src/widgets/valnum.h
index 3127278ae..84c187ad2 100644
--- a/src/widgets/valnum.h
+++ b/src/widgets/valnum.h
@@ -144,7 +144,7 @@ namespace Private
 // The template argument T is just the type handled by the validator that will
 // inherit from this one.
 template <class B, typename T>
-class NumValidator final : public B
+class NumValidator /* final */ : public B
 {
 public:
     typedef B BaseValidator;