summaryrefslogtreecommitdiffstats
path: root/bytecomp/switch.mli
diff options
context:
space:
mode:
Diffstat (limited to 'bytecomp/switch.mli')
-rw-r--r--bytecomp/switch.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/switch.mli b/bytecomp/switch.mli
index a0b34a87a..73799daa0 100644
--- a/bytecomp/switch.mli
+++ b/bytecomp/switch.mli
@@ -67,6 +67,7 @@ module Make :
functor (Arg : S) ->
sig
val zyva :
+ (int * int) ->
(int -> Arg.act) ->
Arg.act ->
(int * int * int) array ->