From 675fc0bc6744f5daf4eb97244b8cdd5e18d773f2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 17 Sep 2012 18:03:04 +0200
Subject: [PATCH] * src/bin/genltl.cc (parse_opt): Add OPT_U_LEFT and
 OPT_U_RIGHT cases.

---
 src/bin/genltl.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/bin/genltl.cc b/src/bin/genltl.cc
index 3e6cd4577..df2024f19 100644
--- a/src/bin/genltl.cc
+++ b/src/bin/genltl.cc
@@ -244,6 +244,8 @@ parse_opt(int key, char* arg, struct argp_state*)
     case OPT_RV_COUNTER_CARRY:
     case OPT_RV_COUNTER_CARRY_LINEAR:
     case OPT_RV_COUNTER_LINEAR:
+    case OPT_U_LEFT:
+    case OPT_U_RIGHT:
       enqueue_job(key, arg);
       break;
     default: