1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
Author: Peter Kovacs <kpeter@inf.elte.hu>
Last-Update: 2018-03-22
Description: Add missing break statement to dimacs-solver (#609)
---
tools/dimacs-solver.cc | 3 +++
1 file changed, 3 insertions(+)
diff --git a/tools/dimacs-solver.cc b/tools/dimacs-solver.cc
index 60da233..0ccbcd0 100644
--- a/tools/dimacs-solver.cc
+++ b/tools/dimacs-solver.cc
@@ -222,11 +222,13 @@ int main(int argc, const char *argv[]) {
if (!output) {
throw IoError("Cannot open the file for writing", ap.files()[1]);
}
+ // fall through
case 1:
input.open(ap.files()[0].c_str());
if (!input) {
throw IoError("File cannot be found", ap.files()[0]);
}
+ // fall through
case 0:
break;
default:
@@ -251,6 +253,7 @@ int main(int argc, const char *argv[]) {
break;
case DimacsDescriptor::SP:
std::cout << "sp";
+ break;
case DimacsDescriptor::MAT:
std::cout << "mat";
break;
|
