diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-02-17 14:18:18 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-02-17 14:18:18 -0500 |
| commit | 94a29d801a6cf86291a8c5bbf88802f3d2b4338a (patch) | |
| tree | fc2f8ff71c017b462187c7d8879003845cd1c2c6 /src/elab_ops.sml | |
| parent | f45895094211495b2aec63541b97e61b71abf289 (diff) | |
More information in error message about select of field from unbound table
Diffstat (limited to 'src/elab_ops.sml')
0 files changed, 0 insertions, 0 deletions