From d568decaa9d3c62d0da2a32d2c636b4ed7fb8063 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 25 Feb 2011 12:17:51 +0100
Subject: [PATCH] Do not insert line twice.

---
 new_loba.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/new_loba.sh b/new_loba.sh
index 7519afc..40b6ea1 100755
--- a/new_loba.sh
+++ b/new_loba.sh
@@ -125,8 +125,9 @@ nol_insert && $1 ~ /\}/ {
 }
 
 nol_insert && !nol_inserted && /NOL_INSERT/ {
-    if ($1 > nol_compare) {
-        print nol_string;
+    if ($1 >= nol_compare) {
+        if ($1 > nol_compare)
+            print nol_string;
         nol_inserted = 1;
     }
 }
-- 
2.39.5