diff --git a/src/verilog.y b/src/verilog.y
index edc3410cd..7c3c40576 100644
--- a/src/verilog.y
+++ b/src/verilog.y
@@ -7337,7 +7337,7 @@ constraint_expression<nodep>:  // ==IEEE: constraint_expression
                           $$ = newp; }
         //                      // 1800-2012:
         //                      // IEEE: uniqueness_constraint ';'
-        |       yUNIQUE '{' range_list '}'
+        |       yUNIQUE '{' range_list '}' ';'
                         { $$ = new AstConstraintUnique{$1, $3}; }
         //                      // IEEE: expr yP_MINUSGT constraint_set
         //                      // Conflicts with expr:"expr yP_MINUSGT expr"; rule moved there
diff --git a/test_regress/t/t_constraint_json_only.v b/test_regress/t/t_constraint_json_only.v
index 6386361d2..e7704da84 100644
--- a/test_regress/t/t_constraint_json_only.v
+++ b/test_regress/t/t_constraint_json_only.v
@@ -37,7 +37,7 @@ class Packet;
       foreach (array[i]) {
          array[i] inside {2, 4, 6};
       }
-      unique { array[0], array[1] }
+      unique { array[0], array[1] };
    }
 
    constraint order { solve length before header; }
diff --git a/test_regress/t/t_constraint_xml.v b/test_regress/t/t_constraint_xml.v
index 6386361d2..e7704da84 100644
--- a/test_regress/t/t_constraint_xml.v
+++ b/test_regress/t/t_constraint_xml.v
@@ -37,7 +37,7 @@ class Packet;
       foreach (array[i]) {
          array[i] inside {2, 4, 6};
       }
-      unique { array[0], array[1] }
+      unique { array[0], array[1] };
    }
 
    constraint order { solve length before header; }
diff --git a/test_regress/t/t_randomize.v b/test_regress/t/t_randomize.v
index f854daab2..cfd56389a 100644
--- a/test_regress/t/t_randomize.v
+++ b/test_regress/t/t_randomize.v
@@ -37,7 +37,7 @@ class Packet;
       foreach (array[i]) {
          array[i] inside {2, 4, 6};
       }
-      unique { array[0], array[1] }
+      unique { array[0], array[1] };
    }
 
    constraint order { solve length before header; }