aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/S.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/syntax/S.ml')
-rw-r--r--lib/syntax/S.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml
index 3d86881..710eb59 100644
--- a/lib/syntax/S.ml
+++ b/lib/syntax/S.ml
@@ -81,7 +81,7 @@ module type Instruction = sig
pos ->
(expression, t) clause ->
elifs:(expression, t) clause list ->
- else_:t repr list ->
+ else_:(pos * t repr list) option ->
t repr
val act : pos -> label:expression -> t repr list -> t repr