From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Sun, 1 Jun 2008 14:26:39 +0000 (+0000)
Subject: BugFix: add erronously deleted break
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=e2071ff0790ff9360fa0e441c3fc5700681efd9a;p=cparser

BugFix: add erronously deleted break

[r19903]
---

diff --git a/driver/firm_cmdline.c b/driver/firm_cmdline.c
index 892a8c4..d7ca466 100644
--- a/driver/firm_cmdline.c
+++ b/driver/firm_cmdline.c
@@ -392,6 +392,7 @@ int firm_option(const char *opt)
           break;
         }
       }
+      break;
     }
   }