From f8346a6195a32e6329ce5b0526d1765d075c8304 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 30 May 2022 17:08:26 +0200
Subject: [PATCH] Delete unusable default constructor.

---
 src/kernel/actor/SimcallObserver.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/kernel/actor/SimcallObserver.hpp b/src/kernel/actor/SimcallObserver.hpp
index 1c30486465..6eabf88b57 100644
--- a/src/kernel/actor/SimcallObserver.hpp
+++ b/src/kernel/actor/SimcallObserver.hpp
@@ -67,7 +67,6 @@ protected:
   ~ResultingSimcall() = default;
 
 public:
-  ResultingSimcall() = default;
   ResultingSimcall(ActorImpl* actor, T default_result) : SimcallObserver(actor), result_(default_result) {}
   void set_result(T res) { result_ = res; }
   T get_result() const { return result_; }
-- 
2.20.1