diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-03-11 16:13:15 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-03-11 16:13:15 +0000 |
commit | e2fb435c257cf6aac24e7b30f902bede694100c5 (patch) | |
tree | 7c498eb9dbed3d4c194fc965704e5ed57e75672f /backend/CMparser.mly | |
parent | c7a642bf2156221a5c93826444e5e49ebb3b682b (diff) |
Minor updates
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1848 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/CMparser.mly')
-rw-r--r-- | backend/CMparser.mly | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/CMparser.mly b/backend/CMparser.mly index c52261d..37b6144 100644 --- a/backend/CMparser.mly +++ b/backend/CMparser.mly @@ -13,7 +13,6 @@ /* */ /* *********************************************************************/ -/* HASP: Modified to parse global data declarations, other small changes */ /* Note that this compiles a superset of the language defined by the AST, including function calls in expressions, matches, while statements, etc. */ |