summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/message.ml3
-rw-r--r--src/message.mli1
2 files changed, 2 insertions, 2 deletions
diff --git a/src/message.ml b/src/message.ml
index 8f37c08..ec28922 100644
--- a/src/message.ml
+++ b/src/message.ml
@@ -1,7 +1,8 @@
+exception Invalid_operation of string
+
type operation = {
method_name: string;
path: string list option;
- value: string option;
options: (string * string) list option
} [@@deriving yojson]
diff --git a/src/message.mli b/src/message.mli
index 6de77b7..af92d67 100644
--- a/src/message.mli
+++ b/src/message.mli
@@ -1,7 +1,6 @@
type operation = {
method_name: string;
path: string list option;
- value: string option;
options: (string * string) list option
}