diff --git a/npc/csrc_nvboard/main.cpp b/npc/csrc_nvboard/main.cpp
index 401de4b..32f2a8c 100644
--- a/npc/csrc_nvboard/main.cpp
+++ b/npc/csrc_nvboard/main.cpp
@@ -12,7 +12,6 @@ void nvboard_bind_all_pins(VSwitch* top);
 
 int main(int argc, char **argv, char **env) {
     VSwitch *top = new VSwitch;
-
     nvboard_bind_all_pins(top);
     nvboard_init();
     while (true) {