diff --git a/npc/csrc_nvboard/main.cpp b/npc/csrc_nvboard/main.cpp
index 32f2a8c..401de4b 100644
--- a/npc/csrc_nvboard/main.cpp
+++ b/npc/csrc_nvboard/main.cpp
@@ -12,6 +12,7 @@ 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) {