From 2067e36ea38596248af99a8037572082f267d12f Mon Sep 17 00:00:00 2001 From: Jihong Min Date: Tue, 10 Mar 2026 16:31:22 +0900 Subject: [PATCH] fix: typo --- spectec/doc/semantics/il/5-reduction.spectec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spectec/doc/semantics/il/5-reduction.spectec b/spectec/doc/semantics/il/5-reduction.spectec index 6a18b8e889..60ad8dd3ce 100644 --- a/spectec/doc/semantics/il/5-reduction.spectec +++ b/spectec/doc/semantics/il/5-reduction.spectec @@ -18,7 +18,7 @@ rule Expand_typ/alias: rule Expand_typ/step: S |- VAR x a* => $subst_deftyp(s, dt) -- if (x, p* `-> OK `= inst*) <- S.TYP - -- if (INST `{q*} a* `= dt) <- inst* + -- if (INST `{q*} a'* `= dt) <- inst* -- Match_args: S |- a* `/ `{q*} a'* => s