lint fix

tqchen · tqchen · commit 8ed9f50d69b2 · 2017-01-17T19:40:11.000-08:00
diff --git a/src/runtime/c_runtime_api.cc b/src/runtime/c_runtime_api.cc
@@ -72,7 +72,7 @@ int TVMDeviceInit(int dev_mask,
   API_BEGIN();
   *out_code = 1;
   switch (dev_mask) {
-    case kOpenCL:{
+    case kOpenCL: {
       *out_code = DeviceInit<kOpenCL>(option_keys, option_vals, num_options);
       break;
     }

Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,7 @@ int TVMDeviceInit(int dev_mask,`
`72`	`72`	`API_BEGIN();`
`73`	`73`	`*out_code = 1;`
`74`	`74`	`switch (dev_mask) {`
`75`		`- case kOpenCL:{`
	`75`	`+ case kOpenCL: {`
`76`	`76`	`*out_code = DeviceInit<kOpenCL>(option_keys, option_vals, num_options);`
`77`	`77`	`break;`
`78`	`78`	`}`