From 554b43c2b5d2076195180a7bb0b6eff183bd50cb Mon Sep 17 00:00:00 2001
From: Jesse Vincent <jesse@keyboard.io>
Date: Fri, 2 Jun 2017 13:51:13 -0700
Subject: [PATCH] Remove an unneeded ; caught by cpplint.py

---
 src/Kaleidoscope.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Kaleidoscope.cpp b/src/Kaleidoscope.cpp
index 1192f7ae..ca9b2c8b 100644
--- a/src/Kaleidoscope.cpp
+++ b/src/Kaleidoscope.cpp
@@ -43,7 +43,7 @@ Kaleidoscope_::use(KaleidoscopePlugin *plugin, ...) {
     va_start(ap, plugin);
     while ((p = va_arg(ap, KaleidoscopePlugin*)) != NULL) {
         p->begin();
-    };
+    }
     va_end(ap);
 }