diff options
| author | Robert Norton | 2018-06-07 17:39:01 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-07 17:43:23 +0100 |
| commit | c281c3aed5b00d970c9a48b59eb4b3bc620a28b0 (patch) | |
| tree | 1213ccac27a230c188dae33348ed9874f2d0db53 /lib/main.ml | |
| parent | 28f13f5b62cb760a7fecb24e955047dd3d5e4504 (diff) | |
Rename some functions in vector_dec library file to avoid clashes with functions in mips spec in prepartion for using this file in mips prelude. Also modify tests that use this header. We should consider prefixing library builtins to avoid name clashes. overload can then be used to provide aliases if desired.
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions