diff --git a/src/main.c b/src/main.c
index ee37500..c877800 100644
--- a/src/main.c
+++ b/src/main.c
@@ -3159,7 +3159,7 @@
 	sourcing_name = save_sourcing_name;
 	sourcing_lnum = save_sourcing_lnum;
 #ifdef FEAT_EVAL
-	current_SID = save_sid;;
+	current_SID = save_sid;
 #endif
 	return OK;
     }