summaryrefslogtreecommitdiff
path: root/compilerlibs
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-06-16 11:02:10 +0200
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-06-30 18:30:19 +0200
commit494b0ef8ee55fe9193de8b3d9cd6ab04b0fb66e5 (patch)
tree3fb0a69d59791420a3e17d60b183ecc22fef61cd /compilerlibs
parent718fdb98e15947ab8e22877dd6403f93bf2e1320 (diff)
downloadocaml-494b0ef8ee55fe9193de8b3d9cd6ab04b0fb66e5.tar.gz
Turn asmcomp/branch_relaxation_intf.ml into an MLI-only module
Diffstat (limited to 'compilerlibs')
-rw-r--r--compilerlibs/Makefile.compilerlibs1
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 \