Fix syntax

aptos-labs · Aug 6, 2024 · cf0ae75 · cf0ae75
1 parent 22a98c6
commit cf0ae75
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/router/sources/tests/primary_name_tests.move b/router/sources/tests/primary_name_tests.move
@@ -456,7 +456,7 @@ fun test_primary_name_expiration_and_reassignment(
         let (user1_primary_subdomain_name, user1_primary_domain_name) = get_v2_primary_name(user1_addr);
         assert!(option::some(domain_name) == user1_primary_domain_name, 3);
         assert!(option::some(subdomain_name) == user1_primary_subdomain_name, 4);
-    }
+    };
 
     // Expire the primary name
     v2_1_config::set_reregistration_grace_sec(aptos_names_v2_1, 0);
@@ -467,7 +467,7 @@ fun test_primary_name_expiration_and_reassignment(
         let (user1_primary_subdomain_name, user1_primary_domain_name) = get_v2_primary_name(user1_addr);
         assert!(option::is_none(&user1_primary_domain_name), 1);
         assert!(option::is_none(&user1_primary_subdomain_name), 2);
-    }
+    };
 
     // Check that user1 no longer has a primary name
     let (user1_primary_subdomain_name, user1_primary_domain_name) = get_v1_primary_name(user1_addr);
@@ -496,7 +496,7 @@ fun test_primary_name_expiration_and_reassignment(
         let (user1_primary_subdomain_name, user1_primary_domain_name) = get_v2_primary_name(user1_addr);
         assert!(option::is_none(&user1_primary_domain_name), 1);
         assert!(option::is_none(&user1_primary_subdomain_name), 2);
-    }
+    };
 
     // Check that user2 has the primary name
     let (user2_primary_subdomain_name, user2_primary_domain_name) = get_v2_primary_name(user2_addr);