# HG changeset patch
# User wenzelm
# Date 1727469870 -7200
# Node ID 7638776e097724b474e8e69d238b83d7edeab60a
# Parent  a594b5e922add28ab2cb419f1926f8e83fcf6243
tuned signature;

diff -r a594b5e922ad -r 7638776e0977 src/Pure/Syntax/parser.ML
--- a/src/Pure/Syntax/parser.ML	Fri Sep 27 22:36:00 2024 +0200
+++ b/src/Pure/Syntax/parser.ML	Fri Sep 27 22:44:30 2024 +0200
@@ -586,8 +586,8 @@
 fun get_states_lambda A min max =
   filter (head_nonterm (fn (B, p) => A = B andalso upto_prec min max p));
 
-fun get_states A max_prec =
-  filter (head_nonterm (fn (B, p) => A = B andalso p <= max_prec));
+fun get_states A max =
+  filter (head_nonterm (fn (B, p) => A = B andalso p <= max));
 
 fun movedot_nonterm tt (info, Nonterminal _ :: sa, ts) : state = (info, sa, tt @ ts);