diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-02 13:03:22 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-02 13:03:22 -0500 |
| commit | c3b07501b5b2eeac8a88b7ded6a081e95b99d406 (patch) | |
| tree | fe408da7de890226e6247a4446ecf1f155e2ed82 /src/elab_env.sig | |
| parent | 93cd18e71b9c57650914ec11bb9a19e9befe7eda (diff) | |
Injected an option
Diffstat (limited to 'src/elab_env.sig')
0 files changed, 0 insertions, 0 deletions