summaryrefslogtreecommitdiff
path: root/powerpc
diff options
context:
space:
mode:
Diffstat (limited to 'powerpc')
-rw-r--r--powerpc/PrintAsm.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/powerpc/PrintAsm.ml b/powerpc/PrintAsm.ml
index b9778c4..b90b9f2 100644
--- a/powerpc/PrintAsm.ml
+++ b/powerpc/PrintAsm.ml
@@ -1203,6 +1203,7 @@ let print_prologue oc =
let print_program oc p =
reset_file_line();
+ PrintAnnot.print_version_and_options oc comment;
print_prologue oc;
List.iter (print_globdef oc) p.prog_defs