| branch | 1.2 |
| changeset 1424 | 7edc220d6244 |
| parent 1089 | 2b47dbd6612c |
| 3:7507fb4a61d2 | 4:6759c43a9726 |
|---|---|
115 bool ok=false; |
115 bool ok=false; |
116 try { |
116 try { |
117 digraphReader(d, input). |
117 digraphReader(d, input). |
118 run(); |
118 run(); |
119 } |
119 } |
120 catch (FormatError&) |
120 catch (FormatError&) |
121 { |
121 { |
122 ok = true; |
122 ok = true; |
123 } |
123 } |
124 check(ok,"FormatError exception should have occured"); |
124 check(ok,"FormatError exception should have occured"); |
125 } |
125 } |