diff options
Diffstat (limited to 'powerpc/TargetPrinter.ml')
| -rw-r--r-- | powerpc/TargetPrinter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 964f75a7..70aec6c0 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -741,6 +741,7 @@ module Target (System : SYSTEM):TARGET = jumptables := [] end + let default_falignment = 4 end let sel_target () = |