Please clang by not defaulting a constructor that it will delete

odpor_tests_private.hpp:24:3: error: explicitly defaulted default constructor is implicitly deleted [-Werror,-Wdefaulted-function-deleted]
  DependentIfSameValueAction() = default;
    ^
odpor_tests_private.hpp:21:13: note: default constructor of 'DependentIfSameValueAction' is implicitly deleted because field 'value' of const-qualified type 'const int' would not be initialized
  const int value;
            ^

diff --git a/src/mc/explo/odpor/odpor_tests_private.hpp b/src/mc/explo/odpor/odpor_tests_private.hpp
index 0a29f7d..cd76ba3 100644 (file)
--- a/src/mc/explo/odpor/odpor_tests_private.hpp
+++ b/src/mc/explo/odpor/odpor_tests_private.hpp
@@ -21,7 +21,6 @@ private:
   const int value;
 
 public:
-  DependentIfSameValueAction() = default;
   DependentIfSameValueAction(Type type, aid_t issuer, int value, int times_considered = 0)
       : Transition(type, issuer, times_considered), value(value)
   {