From 0afa12c7af159a8080bc62f2cd076cfb4b0b2272 Mon Sep 17 00:00:00 2001
From: Gergely Nagy <algernon@madhouse-project.org>
Date: Sun, 6 Aug 2017 15:31:17 +0200
Subject: [PATCH] Make cpplint happy too

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
---
 src/Kaleidoscope/GeminiPR.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Kaleidoscope/GeminiPR.h b/src/Kaleidoscope/GeminiPR.h
index dc5be228..3a2cbf92 100644
--- a/src/Kaleidoscope/GeminiPR.h
+++ b/src/Kaleidoscope/GeminiPR.h
@@ -27,7 +27,7 @@ namespace kaleidoscope {
 namespace steno {
 class GeminiPR : public KaleidoscopePlugin {
  public:
-  GeminiPR(void) {};
+  GeminiPR(void) {}
 
   void begin(void);