diff --git a/asmcomp/all.ml b/asmcomp/all.ml
index e2a6219bb..b8347e925 100644
--- a/asmcomp/all.ml
+++ b/asmcomp/all.ml

diff --git a/asmcomp/arch_alpha.ml b/asmcomp/arch_alpha.ml
index 2092248ce..0181cc1d4 100644
--- a/asmcomp/arch_alpha.ml
+++ b/asmcomp/arch_alpha.ml

diff --git a/asmcomp/arch_hppa.ml b/asmcomp/arch_hppa.ml
index aa3e78eef..c41556bd4 100644
--- a/asmcomp/arch_hppa.ml
+++ b/asmcomp/arch_hppa.ml

diff --git a/asmcomp/arch_i386.ml b/asmcomp/arch_i386.ml
index bfb136c1f..61b6abcb3 100644
--- a/asmcomp/arch_i386.ml
+++ b/asmcomp/arch_i386.ml

diff --git a/asmcomp/arch_mips.ml b/asmcomp/arch_mips.ml
index 826d6310b..7bfe7f2f8 100644
--- a/asmcomp/arch_mips.ml
+++ b/asmcomp/arch_mips.ml

diff --git a/asmcomp/arch_power.ml b/asmcomp/arch_power.ml
index cbba7a906..5fa4f4041 100644
--- a/asmcomp/arch_power.ml
+++ b/asmcomp/arch_power.ml

diff --git a/asmcomp/arch_sparc.ml b/asmcomp/arch_sparc.ml
index 3f0f4abec..13a5ca6fc 100644
--- a/asmcomp/arch_sparc.ml
+++ b/asmcomp/arch_sparc.ml

diff --git a/asmcomp/asmgen.ml b/asmcomp/asmgen.ml
index 790908053..f40643e77 100644
--- a/asmcomp/asmgen.ml
+++ b/asmcomp/asmgen.ml

diff --git a/asmcomp/asmgen.mli b/asmcomp/asmgen.mli
index a34d76e23..8b5e49076 100644
--- a/asmcomp/asmgen.mli
+++ b/asmcomp/asmgen.mli

diff --git a/asmcomp/asmlibrarian.ml b/asmcomp/asmlibrarian.ml
index 7a461c8cc..e0ebfcd7a 100644
--- a/asmcomp/asmlibrarian.ml
+++ b/asmcomp/asmlibrarian.ml

diff --git a/asmcomp/asmlibrarian.mli b/asmcomp/asmlibrarian.mli
index ff992a193..4e12898c1 100644
--- a/asmcomp/asmlibrarian.mli
+++ b/asmcomp/asmlibrarian.mli

diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml
index b7baadb3d..ccc7b6ad6 100644
--- a/asmcomp/asmlink.ml
+++ b/asmcomp/asmlink.ml

diff --git a/asmcomp/asmlink.mli b/asmcomp/asmlink.mli
index 0046ea78b..a1f80ba83 100644
--- a/asmcomp/asmlink.mli
+++ b/asmcomp/asmlink.mli

diff --git a/asmcomp/clambda.ml b/asmcomp/clambda.ml
index d640aeb25..ba8efbdb8 100644
--- a/asmcomp/clambda.ml
+++ b/asmcomp/clambda.ml

diff --git a/asmcomp/clambda.mli b/asmcomp/clambda.mli
index d640aeb25..ba8efbdb8 100644
--- a/asmcomp/clambda.mli
+++ b/asmcomp/clambda.mli

diff --git a/asmcomp/closure.ml b/asmcomp/closure.ml
index 8dfdad2d0..d6c70cc42 100644
--- a/asmcomp/closure.ml
+++ b/asmcomp/closure.ml

diff --git a/asmcomp/closure.mli b/asmcomp/closure.mli
index 905b848dd..9f04b3560 100644
--- a/asmcomp/closure.mli
+++ b/asmcomp/closure.mli

diff --git a/asmcomp/cmm.ml b/asmcomp/cmm.ml
index 10d69cf30..74e1648aa 100644
--- a/asmcomp/cmm.ml
+++ b/asmcomp/cmm.ml

diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli
index cfbf5f504..183ef4b58 100644
--- a/asmcomp/cmm.mli
+++ b/asmcomp/cmm.mli

diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml
index e442c6d8e..9466a4881 100644
--- a/asmcomp/cmmgen.ml
+++ b/asmcomp/cmmgen.ml

diff --git a/asmcomp/cmmgen.mli b/asmcomp/cmmgen.mli
index 6a80ce7d0..fc54974b3 100644
--- a/asmcomp/cmmgen.mli
+++ b/asmcomp/cmmgen.mli

diff --git a/asmcomp/codegen.ml b/asmcomp/codegen.ml
index 0599fa45e..24dc2517a 100644
--- a/asmcomp/codegen.ml
+++ b/asmcomp/codegen.ml

diff --git a/asmcomp/codegen.mli b/asmcomp/codegen.mli
index a3da5fad4..b7a51fba9 100644
--- a/asmcomp/codegen.mli
+++ b/asmcomp/codegen.mli

diff --git a/asmcomp/coloring.ml b/asmcomp/coloring.ml
index 58a59be0e..74cfbb632 100644
--- a/asmcomp/coloring.ml
+++ b/asmcomp/coloring.ml

diff --git a/asmcomp/coloring.mli b/asmcomp/coloring.mli
index 798756e54..d74bdad5d 100644
--- a/asmcomp/coloring.mli
+++ b/asmcomp/coloring.mli

diff --git a/asmcomp/compilenv.ml b/asmcomp/compilenv.ml
index 3d4f4fae2..5c0636f22 100644
--- a/asmcomp/compilenv.ml
+++ b/asmcomp/compilenv.ml

diff --git a/asmcomp/compilenv.mli b/asmcomp/compilenv.mli
index 6c45497c2..100630594 100644
--- a/asmcomp/compilenv.mli
+++ b/asmcomp/compilenv.mli

diff --git a/asmcomp/emit.mli b/asmcomp/emit.mli
index 4c88afbc6..c08b80b42 100644
--- a/asmcomp/emit.mli
+++ b/asmcomp/emit.mli

diff --git a/asmcomp/emit_alpha.mlp b/asmcomp/emit_alpha.mlp
index 379b7c3b0..4d8b08874 100644
--- a/asmcomp/emit_alpha.mlp
+++ b/asmcomp/emit_alpha.mlp

diff --git a/asmcomp/emit_hppa.mlp b/asmcomp/emit_hppa.mlp
index a10584633..45cb929ba 100644
--- a/asmcomp/emit_hppa.mlp
+++ b/asmcomp/emit_hppa.mlp

diff --git a/asmcomp/emit_i386.mlp b/asmcomp/emit_i386.mlp
index 8d907a03f..b90e648c6 100644
--- a/asmcomp/emit_i386.mlp
+++ b/asmcomp/emit_i386.mlp

diff --git a/asmcomp/emit_i386nt.mlp b/asmcomp/emit_i386nt.mlp
index 1aa560a6f..542cdc699 100644
--- a/asmcomp/emit_i386nt.mlp
+++ b/asmcomp/emit_i386nt.mlp

diff --git a/asmcomp/emit_mips.mlp b/asmcomp/emit_mips.mlp
index 3aa6132c6..7741314d0 100644
--- a/asmcomp/emit_mips.mlp
+++ b/asmcomp/emit_mips.mlp

diff --git a/asmcomp/emit_power.mlp b/asmcomp/emit_power.mlp
index 65ec092e7..d0dd00e67 100644
--- a/asmcomp/emit_power.mlp
+++ b/asmcomp/emit_power.mlp

diff --git a/asmcomp/emit_sparc.mlp b/asmcomp/emit_sparc.mlp
index 09f7b8a7f..dd1f613b3 100644
--- a/asmcomp/emit_sparc.mlp
+++ b/asmcomp/emit_sparc.mlp

diff --git a/asmcomp/emitaux.ml b/asmcomp/emitaux.ml
index be0830cf4..0ef40435a 100644
--- a/asmcomp/emitaux.ml
+++ b/asmcomp/emitaux.ml

diff --git a/asmcomp/emitaux.mli b/asmcomp/emitaux.mli
index 5ef88b178..ab2a957fe 100644
--- a/asmcomp/emitaux.mli
+++ b/asmcomp/emitaux.mli

diff --git a/asmcomp/interf.ml b/asmcomp/interf.ml
index 5c4cfb7ca..d3ceed293 100644
--- a/asmcomp/interf.ml
+++ b/asmcomp/interf.ml

diff --git a/asmcomp/interf.mli b/asmcomp/interf.mli
index c17305323..8faa93b3b 100644
--- a/asmcomp/interf.mli
+++ b/asmcomp/interf.mli

diff --git a/asmcomp/linearize.ml b/asmcomp/linearize.ml
index 4c2713922..6c07efcef 100644
--- a/asmcomp/linearize.ml
+++ b/asmcomp/linearize.ml

diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli
index 5edc58c4b..c4416741f 100644
--- a/asmcomp/linearize.mli
+++ b/asmcomp/linearize.mli

diff --git a/asmcomp/liveness.ml b/asmcomp/liveness.ml
index ad1f31c74..23373e76d 100644
--- a/asmcomp/liveness.ml
+++ b/asmcomp/liveness.ml

diff --git a/asmcomp/liveness.mli b/asmcomp/liveness.mli
index ee909d60d..8cf976ad4 100644
--- a/asmcomp/liveness.mli
+++ b/asmcomp/liveness.mli

diff --git a/asmcomp/mach.ml b/asmcomp/mach.ml
index 5ec11f901..d65cad8fc 100644
--- a/asmcomp/mach.ml
+++ b/asmcomp/mach.ml

diff --git a/asmcomp/mach.mli b/asmcomp/mach.mli
index b8f533ff9..faf7fe8a1 100644
--- a/asmcomp/mach.mli
+++ b/asmcomp/mach.mli

diff --git a/asmcomp/printcmm.ml b/asmcomp/printcmm.ml
index 3ecaea6f3..e9f552947 100644
--- a/asmcomp/printcmm.ml
+++ b/asmcomp/printcmm.ml

diff --git a/asmcomp/printcmm.mli b/asmcomp/printcmm.mli
index d4cd5f096..049b858cb 100644
--- a/asmcomp/printcmm.mli
+++ b/asmcomp/printcmm.mli

diff --git a/asmcomp/printlinear.ml b/asmcomp/printlinear.ml
index b91e8d69e..83f363b6a 100644
--- a/asmcomp/printlinear.ml
+++ b/asmcomp/printlinear.ml

diff --git a/asmcomp/printlinear.mli b/asmcomp/printlinear.mli
index f0180852d..c919b5b2e 100644
--- a/asmcomp/printlinear.mli
+++ b/asmcomp/printlinear.mli

diff --git a/asmcomp/printmach.ml b/asmcomp/printmach.ml
index 5ccd18e67..2c2ef8aca 100644
--- a/asmcomp/printmach.ml
+++ b/asmcomp/printmach.ml

diff --git a/asmcomp/printmach.mli b/asmcomp/printmach.mli
index d79ab1e16..2125f9bf1 100644
--- a/asmcomp/printmach.mli
+++ b/asmcomp/printmach.mli

diff --git a/asmcomp/proc.mli b/asmcomp/proc.mli
index 21739bcfc..1fd4c555b 100644
--- a/asmcomp/proc.mli
+++ b/asmcomp/proc.mli

diff --git a/asmcomp/proc_alpha.ml b/asmcomp/proc_alpha.ml
index e42b98f57..29c872132 100644
--- a/asmcomp/proc_alpha.ml
+++ b/asmcomp/proc_alpha.ml

diff --git a/asmcomp/proc_hppa.ml b/asmcomp/proc_hppa.ml
index 5b1f27712..14cc280a2 100644
--- a/asmcomp/proc_hppa.ml
+++ b/asmcomp/proc_hppa.ml

diff --git a/asmcomp/proc_i386.ml b/asmcomp/proc_i386.ml
index 57169d87a..69f19ba4f 100644
--- a/asmcomp/proc_i386.ml
+++ b/asmcomp/proc_i386.ml

diff --git a/asmcomp/proc_i386nt.ml b/asmcomp/proc_i386nt.ml
index bb1c3c2b6..903627f3b 100644
--- a/asmcomp/proc_i386nt.ml
+++ b/asmcomp/proc_i386nt.ml

diff --git a/asmcomp/proc_mips.ml b/asmcomp/proc_mips.ml
index 6d82aef0b..617b4c438 100644
--- a/asmcomp/proc_mips.ml
+++ b/asmcomp/proc_mips.ml

diff --git a/asmcomp/proc_power.ml b/asmcomp/proc_power.ml
index 2532bd08b..9a5585944 100644
--- a/asmcomp/proc_power.ml
+++ b/asmcomp/proc_power.ml

diff --git a/asmcomp/proc_sparc.ml b/asmcomp/proc_sparc.ml
index c600f9358..55185a1bd 100644
--- a/asmcomp/proc_sparc.ml
+++ b/asmcomp/proc_sparc.ml

diff --git a/asmcomp/reg.ml b/asmcomp/reg.ml
index 9ab142988..66c9e3bad 100644
--- a/asmcomp/reg.ml
+++ b/asmcomp/reg.ml

diff --git a/asmcomp/reg.mli b/asmcomp/reg.mli
index 60a292ef7..38f2333b0 100644
--- a/asmcomp/reg.mli
+++ b/asmcomp/reg.mli

diff --git a/asmcomp/reload.ml b/asmcomp/reload.ml
index f07d2d9d2..7c559b2dc 100644
--- a/asmcomp/reload.ml
+++ b/asmcomp/reload.ml

diff --git a/asmcomp/reload.mli b/asmcomp/reload.mli
index 2ce07c87a..c43deaf86 100644
--- a/asmcomp/reload.mli
+++ b/asmcomp/reload.mli

diff --git a/asmcomp/scheduling.ml b/asmcomp/scheduling.ml
index 0c7f9b56d..f39627896 100644
--- a/asmcomp/scheduling.ml
+++ b/asmcomp/scheduling.ml

diff --git a/asmcomp/scheduling.mli b/asmcomp/scheduling.mli
index c338fa1e5..e2ed0fd83 100644
--- a/asmcomp/scheduling.mli
+++ b/asmcomp/scheduling.mli

diff --git a/asmcomp/selection.ml b/asmcomp/selection.ml
index 107a64f03..7fdf4eab2 100644
--- a/asmcomp/selection.ml
+++ b/asmcomp/selection.ml

diff --git a/asmcomp/selection.mli b/asmcomp/selection.mli
index 4279e594b..8888cafcc 100644
--- a/asmcomp/selection.mli
+++ b/asmcomp/selection.mli

diff --git a/asmcomp/spill.ml b/asmcomp/spill.ml
index d2ea84fa6..754f457fb 100644
--- a/asmcomp/spill.ml
+++ b/asmcomp/spill.ml

diff --git a/asmcomp/spill.mli b/asmcomp/spill.mli
index 83ced7bb6..b6b02f1b2 100644
--- a/asmcomp/spill.mli
+++ b/asmcomp/spill.mli

diff --git a/asmcomp/split.ml b/asmcomp/split.ml
index e14b9e4e0..6a18a1934 100644
--- a/asmcomp/split.ml
+++ b/asmcomp/split.ml

diff --git a/asmcomp/split.mli b/asmcomp/split.mli
index 508ec0623..2cdcf3c0e 100644
--- a/asmcomp/split.mli
+++ b/asmcomp/split.mli