diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-03-14 09:06:23 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-03-14 09:06:23 -0400 |
commit | 3b4137c893c21d68a1dbecdcb3acd865dd32057d (patch) | |
tree | 9daa1af8859cbf5d67a7f94ef9b49c26c351792a /src/elab_env.sig | |
parent | d069e06ce669999393e5db361ac378804adbe3ba (diff) |
Remove weird special case for FFI functions whose first arguments have type [unit]
Diffstat (limited to 'src/elab_env.sig')
0 files changed, 0 insertions, 0 deletions