From 2177768e4fe92533adc6ef76098312750576dc49 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 23 Feb 2012 15:06:43 +0000
Subject: [PATCH] Remove dead code.

---
 lib/pa_when.ml | 20 --------------------
 1 file changed, 20 deletions(-)

diff --git a/lib/pa_when.ml b/lib/pa_when.ml
index da51e20..764cabc 100644
--- a/lib/pa_when.ml
+++ b/lib/pa_when.ml
@@ -177,26 +177,6 @@ let period_parser =
         )
       | _ -> raise Stream.Failure
     )
-
-(*
-(* This hand-written parser looks for "job <name>" before a statement. *)
-let optjob =
-  Gram.Entry.of_parser "optjob"
-    (fun stream ->
-      let info, name =
-        match Stream.npeek 2 stream with
-        | [ LIDENT "job", info; STRING (_,name), _ ] ->
-          Stream.junk stream;
-          Stream.junk stream;
-          info, name
-        | (_, info) :: _ ->
-          (* Job is unnamed so generate a unique internal name. *)
-          info, unique_job_name ()
-        | _ -> assert false in
-      let _loc = Gram.token_location info in
-      <:expr< $str:name$ >>
-    )
-*)
 ;;
 
 EXTEND Gram
-- 
1.8.3.1