diff options
Diffstat (limited to 'bytecomp/runtimedef.mli')
| -rw-r--r-- | bytecomp/runtimedef.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/bytecomp/runtimedef.mli b/bytecomp/runtimedef.mli deleted file mode 100644 index 48ba14599d..0000000000 --- a/bytecomp/runtimedef.mli +++ /dev/null @@ -1,4 +0,0 @@ -(* Values and functions known and/or provided by the runtime system *) - -val builtin_exceptions: string array -val builtin_primitives: string array |