diff --git a/sql/sql_yacc.yy b/sql/sql_yacc.yy
index 28d3560e5f0..2edad446499 100644
--- a/sql/sql_yacc.yy
+++ b/sql/sql_yacc.yy
@@ -2475,6 +2475,7 @@ select_options:
               YYABORT;
 	    }
           }
+        ;
 
 select_option_list:
 	select_option_list select_option