diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-03 16:16:45 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-03 16:16:45 +0000 |
| commit | 4c08128503d5a097a6980e6a25481bf257f4eee7 (patch) | |
| tree | 3d1912a759ea098f31c5e482a817b7bac2f984cf /src/GF/Command/TreeOperations.hs | |
| parent | 5bc73e10bc5615346e1d17c1d1d73e4e2e656516 (diff) | |
return error on undefined opers in instance and resource
Diffstat (limited to 'src/GF/Command/TreeOperations.hs')
0 files changed, 0 insertions, 0 deletions