diff options
| author | Mishio595 <[email protected]> | 2018-10-29 06:25:22 -0600 |
|---|---|---|
| committer | Mishio595 <[email protected]> | 2018-10-29 06:25:22 -0600 |
| commit | 5a1aae149fafa2848c2cd89a3c75992653380201 (patch) | |
| tree | d6c2567ab3854aa6fb51aa4a2d715cf42f76ff52 /lib/client/sharder/opcode.ml | |
| parent | More random stuff with sharding (diff) | |
| download | disml-5a1aae149fafa2848c2cd89a3c75992653380201.tar.xz disml-5a1aae149fafa2848c2cd89a3c75992653380201.zip | |
Moving to LWT branch
Diffstat (limited to 'lib/client/sharder/opcode.ml')
| -rw-r--r-- | lib/client/sharder/opcode.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/client/sharder/opcode.ml b/lib/client/sharder/opcode.ml index 679f45e..2462d05 100644 --- a/lib/client/sharder/opcode.ml +++ b/lib/client/sharder/opcode.ml @@ -38,7 +38,7 @@ let from_int = function | 9 -> INVALID_SESSION | 10 -> HELLO | 11 -> HEARTBEAT_ACK - | op -> raise Invalid_Opcode op + | op -> raise (Invalid_Opcode op) let to_string = function | DISPATCH -> "DISPATCH" |