From cc83b3b231ae9626ff5402a5424b0e9e6b4aa180 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <pluehne@users.noreply.github.com>
Date: Tue, 6 Jun 2017 18:21:35 +0200
Subject: [PATCH] Removed unnecessary semicolons to avoid compiler warnings.
 (#41)

---
 libclingo/clingo/control.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libclingo/clingo/control.hh b/libclingo/clingo/control.hh
index 74209918e..f5691697d 100644
--- a/libclingo/clingo/control.hh
+++ b/libclingo/clingo/control.hh
@@ -117,8 +117,8 @@ struct SolveEventHandler {
     virtual ~SolveEventHandler() = default;
 };
 using USolveEventHandler = std::unique_ptr<SolveEventHandler>;
-inline bool SolveEventHandler::on_model(Model &) { return true; };
-inline void SolveEventHandler::on_finish(SolveResult) { };
+inline bool SolveEventHandler::on_model(Model &) { return true; }
+inline void SolveEventHandler::on_finish(SolveResult) { }
 
 struct SolveFuture {
     virtual SolveResult get() = 0;