Remove an unneeded ; caught by cpplint.py

pull/135/head
Jesse Vincent 8 years ago
parent 4b27f711f9
commit 554b43c2b5
No known key found for this signature in database
GPG Key ID: 122F5DF7108E4046

@ -43,7 +43,7 @@ Kaleidoscope_::use(KaleidoscopePlugin *plugin, ...) {
va_start(ap, plugin); va_start(ap, plugin);
while ((p = va_arg(ap, KaleidoscopePlugin*)) != NULL) { while ((p = va_arg(ap, KaleidoscopePlugin*)) != NULL) {
p->begin(); p->begin();
}; }
va_end(ap); va_end(ap);
} }

Loading…
Cancel
Save