diff options
Diffstat (limited to 'backend/PrintXTL.ml')
-rw-r--r-- | backend/PrintXTL.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/backend/PrintXTL.ml b/backend/PrintXTL.ml index ff458091..08ccf129 100644 --- a/backend/PrintXTL.ml +++ b/backend/PrintXTL.ml @@ -34,6 +34,8 @@ let short_name_of_type = function | Tfloat -> 'f' | Tlong -> 'l' | Tsingle -> 's' + | Tany32 -> 'w' + | Tany64 -> 'd' let loc pp = function | R r -> mreg pp r |