Commit af07f38
committed
Fail gracefully on empty output from hdevtools.
In insert_type() : Exit with an error message if hdevtools doesn't
recognize any type information at a given location.1 parent 5e531bd commit af07f38
1 file changed
+4
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
588 | 588 | | |
589 | 589 | | |
590 | 590 | | |
| 591 | + | |
| 592 | + | |
| 593 | + | |
| 594 | + | |
591 | 595 | | |
592 | 596 | | |
593 | 597 | | |
| |||
0 commit comments