diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-21 11:08:45 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-21 11:08:45 +0100 |
commit | 617adb6d79a44da824f9a6bd217596602d89552a (patch) | |
tree | 947f010486ab50ec9afe4b1ffa15402f711e4eb5 | |
parent | 20eef936dce1ef98b5b422c90cc9e072fb0d75ab (diff) | |
download | compcert-617adb6d79a44da824f9a6bd217596602d89552a.tar.gz compcert-617adb6d79a44da824f9a6bd217596602d89552a.zip |
Reverted name for entry back to the old one.
Valex expects Fun Section Literals and not Fun Section Literal.
Bug 18394
-rw-r--r-- | powerpc/AsmToJSON.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index 7862aad8..f0000035 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -308,7 +308,7 @@ let p_fundef oc (name,f) = p_sep oc; p_jmember oc "Fun Section Code" p_section c_section; p_sep oc; - p_jmember oc "Fun Section Literal" p_section l_section; + p_jmember oc "Fun Section Literals" p_section l_section; p_sep oc; p_jmember oc "Fun Section Jumptable" p_section j_section; p_sep oc; |