X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Fdatapath.c;h=0b6e2e5355d69aef1763acbd17da763210ffdc60;hb=b867ca7598a796069928aa9d78b9bff06d71ac9e;hp=157e106944e1050bb7d38d85766a2cbe5d01dd27;hpb=df2c07f4338faac04f4969f243fe4e8083b309ac;p=openvswitch

diff --git a/datapath/datapath.c b/datapath/datapath.c
index 157e1069..0b6e2e53 100644
--- a/datapath/datapath.c
+++ b/datapath/datapath.c
@@ -2007,9 +2007,8 @@ static void dp_unregister_genl(int n_families)
 {
 	int i;
 
-	for (i = 0; i < n_families; i++) {
+	for (i = 0; i < n_families; i++)
 		genl_unregister_family(dp_genl_families[i].family);
-	}
 }
 
 static int dp_register_genl(void)