Fix CI

Wasm-DSL · Mar 14, 2024 · 206143d · 206143d
1 parent e6971e9
commit 206143d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spectec/src/il2al/translate.ml b/spectec/src/il2al/translate.ml
@@ -964,7 +964,7 @@ let rule_to_tup rule =
   | Il.RuleD (_, _, _, exp, prems) ->
     match exp.it with
     | Il.TupE [ lhs; rhs ] -> lhs, rhs, prems
-    | _ -> error_exp rule "form of reduction rule"
+    | _ -> error_exp exp "form of reduction rule"
 
 
 (* group reduction rules that have same name *)