From 556b75727b8870fed020d2d884b54a426be1d388 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 1 Nov 2017 14:18:22 +0100 Subject: [PATCH] Make field private. --- src/surf/surf_interface.hpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/surf/surf_interface.hpp b/src/surf/surf_interface.hpp index 6b9712d130..85d23ef9f9 100644 --- a/src/surf/surf_interface.hpp +++ b/src/surf/surf_interface.hpp @@ -244,6 +244,8 @@ protected: double lastUpdate_ = 0; int suspended_ = 0; int indexHeap_; + +private: enum heap_action_type hat_ = NOTSET; }; -- 2.20.1