summaryrefslogtreecommitdiff
path: root/asmcomp/amd64
diff options
context:
space:
mode:
authorMark Shinwell <mshinwell@gmail.com>2016-06-30 07:46:45 +0100
committerGitHub <noreply@github.com>2016-06-30 07:46:45 +0100
commit1d3a6c30381832901dbc06abf95e5bfbfb99998d (patch)
tree83a9ef9f7ec92a5cd0cc570459b72418015bf372 /asmcomp/amd64
parent98d849a287ea3347a24482ace389b7a790fac05d (diff)
downloadocaml-1d3a6c30381832901dbc06abf95e5bfbfb99998d.tar.gz
Rename Cconst_blockheader to Cblockheader (#642)
Diffstat (limited to 'asmcomp/amd64')
-rw-r--r--asmcomp/amd64/selection.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/amd64/selection.ml b/asmcomp/amd64/selection.ml
index 37fa8ceef3..8e4d1cb2bf 100644
--- a/asmcomp/amd64/selection.ml
+++ b/asmcomp/amd64/selection.ml
@@ -159,7 +159,7 @@ method! select_store is_assign addr exp =
match exp with
Cconst_int n when self#is_immediate n ->
(Ispecific(Istore_int(Nativeint.of_int n, addr, is_assign)), Ctuple [])
- | (Cconst_natint n | Cconst_blockheader (n, _))
+ | (Cconst_natint n | Cblockheader (n, _))
when self#is_immediate_natint n ->
(Ispecific(Istore_int(n, addr, is_assign)), Ctuple [])
| Cconst_pointer n when self#is_immediate n ->