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 /powerpc/AsmToJSON.ml | |
| parent | 20eef936dce1ef98b5b422c90cc9e072fb0d75ab (diff) | |
| download | compcert-kvx-617adb6d79a44da824f9a6bd217596602d89552a.tar.gz compcert-kvx-617adb6d79a44da824f9a6bd217596602d89552a.zip | |
Reverted name for entry back to the old one.
Valex expects Fun Section Literals and not Fun Section Literal.
Bug 18394
Diffstat (limited to 'powerpc/AsmToJSON.ml')
| -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; |