diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-08-24 10:47:47 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-08-24 10:47:47 +0200 |
commit | 2c0518a387cb0d79faae3c4545ab4eb2317665dd (patch) | |
tree | eff7017f4eac6b736f19023c6fdc0d14c74670cf /powerpc/AsmToJSON.ml | |
parent | 0e2c72a69b2d36652ad5d41d923d70f6f200940b (diff) | |
download | compcert-2c0518a387cb0d79faae3c4545ab4eb2317665dd.tar.gz compcert-2c0518a387cb0d79faae3c4545ab4eb2317665dd.zip |
Fixed typo.
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 16a20c68..e84746a8 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -383,7 +383,7 @@ let pp_section pp sec = pp_jobject_start pp; pp_jmember ~first:true pp "Section Name" pp_jstring s; pp_jmember pp "Writable" pp_jbool w; - pp_jmember pp "Writable" pp_jbool e; + pp_jmember pp "Executable" pp_jbool e; pp_jobject_end pp | Section_debug_info _ | Section_debug_abbrev |