X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=v3%2Fsrc%2Flib%2Fkhatus_msg_parser.mli;fp=v3%2Fsrc%2Flib%2Fkhatus_msg_parser.mli;h=0000000000000000000000000000000000000000;hb=499c58a269a00e031302938b5a8f006f23aae451;hp=a4296f6d31403d405ec0b640f303ff15dfe10c9c;hpb=4c703fadbdc17d1753d16841582636598f862416;p=khatus.git

diff --git a/v3/src/lib/khatus_msg_parser.mli b/v3/src/lib/khatus_msg_parser.mli
deleted file mode 100644
index a4296f6..0000000
--- a/v3/src/lib/khatus_msg_parser.mli
+++ /dev/null
@@ -1,6 +0,0 @@
-type error =
-  [ `Bad_format_of_msg_head
-  | `Bad_format_of_msg_content
-  ]
-
-val parse_msg : Lexing.lexbuf -> (Khatus_msg.t, error) result