| ... | ... |
@@ -116,9 +116,9 @@ |
| 116 | 116 |
try {
|
| 117 | 117 |
digraphReader(d, input). |
| 118 | 118 |
run(); |
| 119 | 119 |
} |
| 120 |
catch (FormatError& |
|
| 120 |
catch (FormatError&) |
|
| 121 | 121 |
{
|
| 122 | 122 |
ok = true; |
| 123 | 123 |
} |
| 124 | 124 |
check(ok,"FormatError exception should have occured"); |
| ... | ... |
@@ -130,9 +130,9 @@ |
| 130 | 130 |
try {
|
| 131 | 131 |
graphReader(g, input). |
| 132 | 132 |
run(); |
| 133 | 133 |
} |
| 134 |
catch (FormatError& |
|
| 134 |
catch (FormatError&) |
|
| 135 | 135 |
{
|
| 136 | 136 |
ok = true; |
| 137 | 137 |
} |
| 138 | 138 |
check(ok,"FormatError exception should have occured"); |
| ... | ... |
@@ -145,9 +145,9 @@ |
| 145 | 145 |
try {
|
| 146 | 146 |
digraphReader(d, input). |
| 147 | 147 |
run(); |
| 148 | 148 |
} |
| 149 |
catch (FormatError& |
|
| 149 |
catch (FormatError&) |
|
| 150 | 150 |
{
|
| 151 | 151 |
ok = true; |
| 152 | 152 |
} |
| 153 | 153 |
check(ok,"FormatError exception should have occured"); |
| ... | ... |
@@ -159,9 +159,9 @@ |
| 159 | 159 |
try {
|
| 160 | 160 |
graphReader(g, input). |
| 161 | 161 |
run(); |
| 162 | 162 |
} |
| 163 |
catch (FormatError& |
|
| 163 |
catch (FormatError&) |
|
| 164 | 164 |
{
|
| 165 | 165 |
ok = true; |
| 166 | 166 |
} |
| 167 | 167 |
check(ok,"FormatError exception should have occured"); |
0 comments (0 inline)