tiny fix

unelg · Aug 16, 2024 · 1c3d995 · 1c3d995
1 parent 895e05c
commit 1c3d995
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CLA/parse.y b/CLA/parse.y
@@ -2852,7 +2852,7 @@ boxlist : boxlist abox
 abox : NB  {
         tmpBinlist.push_back($1);
        }
-     | INT {tmpBinlist.push_back($1)}
+     | INT {tmpBinlist.push_back($1);}
        ;
 hamhum : ALIAS ID {
           DEBUG ("ALIAS found.\t");