From 8bbbc1f98e441c1a1e6334e4ee578e6c45eb3d89 Mon Sep 17 00:00:00 2001
From: Marek Kubica <marek@xivilization.net>
Date: Fri, 31 May 2024 15:03:11 +0200
Subject: [PATCH] Remove dead code

This seems to be unused in Yojson and Atd
---
 lib/read.mll | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/lib/read.mll b/lib/read.mll
index c638d0a..9fa9ca8 100644
--- a/lib/read.mll
+++ b/lib/read.mll
@@ -771,15 +771,6 @@ and finish_buffer_stringlit v = parse
   | _    { long_error "Invalid string literal" v lexbuf }
   | eof  { custom_error "Unexpected end of input" v lexbuf }
 
-and finish_buffer_variant v = parse
-    ':'  { Buffer.add_char v.buf ':';
-           buffer_json v lexbuf;
-           buffer_space v lexbuf;
-           buffer_gt v lexbuf }
-  | '>'  { Buffer.add_char v.buf '>' }
-  | _    { long_error "Expected ':' or '>' but found" v lexbuf }
-  | eof  { custom_error "Unexpected end of input" v lexbuf }
-
 and buffer_ident v = parse
     '"'      { finish_buffer_stringlit v lexbuf }
   | ident    { add_lexeme v.buf lexbuf }