diff options
| author | Hendrik Tews | 2017-01-30 21:08:29 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2017-02-06 15:36:31 +0100 |
| commit | aa60931752217a7bf0536acae4e7858f48eb8c8e (patch) | |
| tree | 130e9acb937787fc0673f00bd8ad4a313268432c /kernel/modops.ml | |
| parent | dec77f282575842ff5369e732c0acfaf99d75037 (diff) | |
fix Emacs compiler warning on '(lambda...)
lambda is self-quoting, see elisp manual, section 12.7 Anonymous
Functions
Diffstat (limited to 'kernel/modops.ml')
0 files changed, 0 insertions, 0 deletions