branch | 1.1 |
changeset 814 | 249467c099fd |
parent 765 | 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 } |