diff options
| author | Carst Tankink | 2014-04-10 11:03:12 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-04-10 19:43:08 +0200 |
| commit | 546d47608f944d9463aaf49ec00dee026fe32818 (patch) | |
| tree | 3fe6266bb3fbbaa2295ec723901e2290e62c48fd /interp/dumpglob.mli | |
| parent | 7477094b353b48f1bd1f8ee97a8cd69c04be9db9 (diff) | |
Dumpglob: factor out reference dumping.
Factored out all functions that dump references to use one function
"dump_ref"
Diffstat (limited to 'interp/dumpglob.mli')
0 files changed, 0 insertions, 0 deletions