diff --git a/vvp/main.cc b/vvp/main.cc
index 7281a65a8..0f59499de 100644
--- a/vvp/main.cc
+++ b/vvp/main.cc
@@ -189,6 +189,7 @@ void set_delay_selection(const char* sel)
 	    vpi_mcd_printf(1, "Error: Unknown delay selection \"%s\"!", sel);
 	    exit(1);
       }
+      delete[] sel;
 }
 
 unsigned module_cnt = 0;