Removed unnecessary semicolons to avoid compiler warnings. (#41)

potassco · Jun 6, 2017 · cc83b3b · cc83b3b
1 parent 247a161
commit cc83b3b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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;