fixes armv4t name that was missing the arm prefix (#1528)

BinaryAnalysisPlatform · Jul 6, 2022 · 02c953b · 02c953b
1 parent 2af9d91
commit 02c953b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/arm/arm_target.ml b/lib/arm/arm_target.ml
@@ -258,7 +258,7 @@ module Family (Order : Endianness) = struct
         ~vars:vars32
         ~regs:regs32
 
-  let v4t = def "v4t" ~parent:v4 ~code_alignment:16
+  let v4t = def "armv4t" ~parent:v4 ~code_alignment:16
   let v5    = v4 <: "armv5"
   let v5t   = v5 <: "armv5t"
   let v5te  = v5t <: "armv5te"