diff options
| author | Enrico Tassi | 2014-12-24 14:36:54 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-12-26 15:07:03 +0100 |
| commit | 3ff9f9b0b8fee711d408f820c7cdabc465b181ee (patch) | |
| tree | b5bcfd7eed355dcc566bc9b87ddebead11971b92 /kernel/term.ml | |
| parent | 5d6106a075b79abbb92b03bbca7b13a517cf4925 (diff) | |
STM: remove dead code
Diffstat (limited to 'kernel/term.ml')
0 files changed, 0 insertions, 0 deletions