From 460d7531d77019dc4ad799948e02651c9625ee2d Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Thu, 17 Mar 2016 14:21:23 +0300
Subject: Add some missing nonnull attributes.

---
 src/gui/widgets/guitable.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/gui/widgets/guitable.h')

diff --git a/src/gui/widgets/guitable.h b/src/gui/widgets/guitable.h
index 35000ccff..27d54bdd2 100644
--- a/src/gui/widgets/guitable.h
+++ b/src/gui/widgets/guitable.h
@@ -54,7 +54,7 @@ class GuiTable final : public Widget,
     public:
         GuiTable(const Widget2 *const widget,
                  TableModel *const initial_model,
-                 const bool opacity = true);
+                 const bool opacity = true) A_NONNULL(3);
 
         A_DELETE_COPY(GuiTable)
 
@@ -68,7 +68,7 @@ class GuiTable final : public Widget,
          * installed within the widget have been triggered. To be notified
          * after such an update, add an action listener to the table instead.
          */
-        void setModel(TableModel *const m);
+        void setModel(TableModel *const m) A_NONNULL(2);
 
         /**
          * Retrieves the active table model
-- 
cgit v1.2.3-70-g09d2