From 745a5ade14924e2b2684a280e4cb75a9c1d3bee7 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 14 Mar 2019 16:42:45 +0100
Subject: [PATCH 1/1] Spurious ;

---
 src/kernel/EngineImpl.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/EngineImpl.hpp b/src/kernel/EngineImpl.hpp
index 0778432f71..f82414901d 100644
--- a/src/kernel/EngineImpl.hpp
+++ b/src/kernel/EngineImpl.hpp
@@ -21,7 +21,7 @@ class EngineImpl {
 
 public:
   EngineImpl() = default;
-  ;
+
   EngineImpl(const EngineImpl&) = delete;
   EngineImpl& operator=(const EngineImpl&) = delete;
   virtual ~EngineImpl();
-- 
2.20.1