From 44bd29766c377ae4931463dbf47c2944f8f6be1b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 15 May 2013 18:09:24 +0200 Subject: [PATCH] in bij, EOF -> DecodingError --- bij.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bij.ml b/bij.ml index e9e5da5a..d19727a1 100644 --- a/bij.ml +++ b/bij.ml @@ -452,7 +452,10 @@ module SexpDecode(Source : SOURCE) = struct let x = decode bij in decode_list bij (x :: l) in - decode bij + try + decode bij + with EOF -> + raise (DecodingError "unexpected EOF") end module SexpStr = struct