| branch | 1.2 |
| changeset 966 | 08712a8c3afe |
| parent 931 | c1a959df3b2c |
| 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 } |