diff options
Diffstat (limited to 'tools/ocaml/libs/xb/xb.mli')
-rw-r--r-- | tools/ocaml/libs/xb/xb.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ocaml/libs/xb/xb.mli b/tools/ocaml/libs/xb/xb.mli index 1dde52db1e..58234aefed 100644 --- a/tools/ocaml/libs/xb/xb.mli +++ b/tools/ocaml/libs/xb/xb.mli @@ -23,6 +23,7 @@ module Op : | Resume | Set_target | Restrict + | Invalid (* Not a valid wire operation *) val operation_c_mapping : operation array val size : int val array_search : 'a -> 'a array -> int |