From bad238e95234f89a2320f376f0f7d7f039f420c5 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 15 Aug 2011 19:18:13 +0400 Subject: [PATCH] Properly handle Vend in llppconfig --- main.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 67ed8c8..9967987 100644 --- a/main.ml +++ b/main.ml @@ -3352,7 +3352,8 @@ struct and llppconfig v t spos _ = match t with - | Vdata | Vcdata | Vend -> v + | Vdata | Vcdata -> v + | Vend -> error "unexpected end of input in llppconfig" s spos | Vopen ("defaults", attrs, closed) -> let c = config_of dc attrs in setconf dc c; -- 2.11.4.GIT