From 968717686d55460efdd0d5851d8e6df4210cac51 Mon Sep 17 00:00:00 2001 From: Jason Evans Date: Sun, 12 May 2024 12:24:04 -0700 Subject: [PATCH] Reindent --- bootstrap/bin/hocc/ielr1.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bootstrap/bin/hocc/ielr1.ml b/bootstrap/bin/hocc/ielr1.ml index 68f356f99..0e6166a3b 100644 --- a/bootstrap/bin/hocc/ielr1.ml +++ b/bootstrap/bin/hocc/ielr1.ml @@ -456,7 +456,7 @@ let close_stable ~resolve io symbols prods lalr1_isocores lalr1_states adjs ~lal (split_unstable, stability_deps_indexes_opt) end in let rec work ~resolve io symbols prods lalr1_isocores lalr1_states adjs ~lalr1_transit_attribs - ~stable stability_deps ~unstable churn workq = begin + ~stable stability_deps ~unstable churn workq = begin (* Terminate work if all workq items have been considered since the last forward progress. This * conveniently also terminates if the workq empties. *) match churn < Workq.length workq with