diff options
| author | bjorn <bjorn@bringert.net> | 2008-02-26 14:00:15 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-02-26 14:00:15 +0000 |
| commit | c430d88a09739f3b78ef9b36ba0236b330611764 (patch) | |
| tree | 2b7cb4d625eb3cab219e24989beab7b77120ebe5 /src/JavaGUI2/de/uka/ilkd | |
| parent | ad785c1bab6a4de12ea31d33f8b536180f21158c (diff) | |
Replace fromJust with fromMaybe + error message when looking up lintype in SimpleToFCFG. This makes problems easier to debug.
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd')
0 files changed, 0 insertions, 0 deletions