diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-02-10 10:23:43 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-02-10 10:23:43 +0000 |
commit | 7cde5744d5fa12c76f46bcd180ecfe0b4d00afb8 (patch) | |
tree | b11e9aa1e3c97c7c1e53e8eab298aa65e7c2e8c1 /cparser/Cutil.ml | |
parent | 2594c23c95d22f838952b0b335231ba81a657b0d (diff) | |
download | compcert-kvx-7cde5744d5fa12c76f46bcd180ecfe0b4d00afb8.tar.gz compcert-kvx-7cde5744d5fa12c76f46bcd180ecfe0b4d00afb8.zip |
Interp: help debug stuck expressions
StructReturn: was building an ill-typed Ecomma expression
Cutil: export "ecast"
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1816 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Cutil.ml')
-rw-r--r-- | cparser/Cutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml index a3cb609c..eb3f0639 100644 --- a/cparser/Cutil.ml +++ b/cparser/Cutil.ml @@ -720,7 +720,7 @@ let nullconst = (* Construct a cast expression *) -let ecast e ty = { edesc = ECast(ty, e); etyp = ty } +let ecast ty e = { edesc = ECast(ty, e); etyp = ty } (* Construct an assignment expression *) |