From 7359843a4b0ed053aaa4cb5cc4337e821e83a1a1 Mon Sep 17 00:00:00 2001
From: AlexeyAB <alexeyab84@gmail.com>
Date: Sun, 03 Jun 2018 20:03:16 +0000
Subject: [PATCH] Store wrong annotations to the file: bad_labels.list
---
src/option_list.c | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/option_list.c b/src/option_list.c
index 9411be3..3e835de 100644
--- a/src/option_list.c
+++ b/src/option_list.c
@@ -12,7 +12,7 @@
int nu = 0;
list *options = make_list();
while((line=fgetl(file)) != 0){
- ++ nu;
+ ++nu;
strip(line);
switch(line[0]){
case '\0':
--
Gitblit v1.10.0