1 files changed, 5 insertions, 4 deletions
diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 89215f71..fa612047 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -854,10 +854,11 @@ struct
     fprintf oc "	.syntax	unified\n";
     fprintf oc "	.arch	%s\n"
       (match Configuration.model with
-       | "armv6" -> "armv6"
-       | "armv7a" -> "armv7-a"
-       | "armv7r" -> "armv7-r"
-       | "armv7m" -> "armv7-m"
+       | "armv6"   -> "armv6"
+       | "armv6t2" -> "armv6t2"
+       | "armv7a"  -> "armv7-a"
+       | "armv7r"  -> "armv7-r"
+       | "armv7m"  -> "armv7-m"
        | _ -> "armv7");
     fprintf oc "	.fpu	%s\n"
       (if Opt.vfpv3 then "vfpv3-d16" else "vfpv2");