diff options
| author | Pierre-Marie Pédrot | 2018-10-23 13:56:34 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-29 17:47:15 +0100 |
| commit | c7e32090dc4f2b940a54ff9aa64a63fda6e24c50 (patch) | |
| tree | 9a33beda8cc11c5c5e109971a7ebd3097e2f0a81 /clib/cArray.ml | |
| parent | 0ac673e562c34245e4e48efc428d808e917be79b (diff) | |
Integrate convert_shape into convert_stack.
No reason to split the code, this function is only used once.
Diffstat (limited to 'clib/cArray.ml')
0 files changed, 0 insertions, 0 deletions