diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-16 11:02:10 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:30:19 +0200 |
commit | 494b0ef8ee55fe9193de8b3d9cd6ab04b0fb66e5 (patch) | |
tree | 3fb0a69d59791420a3e17d60b183ecc22fef61cd /compilerlibs | |
parent | 718fdb98e15947ab8e22877dd6403f93bf2e1320 (diff) | |
download | ocaml-494b0ef8ee55fe9193de8b3d9cd6ab04b0fb66e5.tar.gz |
Turn asmcomp/branch_relaxation_intf.ml into an MLI-only module
Diffstat (limited to 'compilerlibs')
-rw-r--r-- | compilerlibs/Makefile.compilerlibs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs index 7e044d69be..c00bfe7b5b 100644 --- a/compilerlibs/Makefile.compilerlibs +++ b/compilerlibs/Makefile.compilerlibs @@ -233,7 +233,6 @@ ASMCOMP = \ file_formats/linear_format.cmo \ asmcomp/schedgen.cmo \ asmcomp/scheduling.cmo \ - asmcomp/branch_relaxation_intf.cmo \ asmcomp/branch_relaxation.cmo \ asmcomp/emitaux.cmo \ asmcomp/emit.cmo \ |