From b4a08d0815342b6238d307864f0823d0f07bb691 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 26 May 2020 22:04:20 +0200
Subject: k1c -> kvx changes

---
 cparser/Machine.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'cparser/Machine.ml')

diff --git a/cparser/Machine.ml b/cparser/Machine.ml
index 193d83c4..97ca9223 100644
--- a/cparser/Machine.ml
+++ b/cparser/Machine.ml
@@ -238,8 +238,8 @@ let rv64 =
                    struct_passing_style = SP_ref_callee; (* Wrong *)
                    struct_return_style = SR_ref } (* to check *)
 
-let mppa_k1c =
-  { name = "k1c";
+let kvx =
+  { name = "kvx";
     char_signed = true;
     wchar_signed = true;
     sizeof_ptr = 8;
-- 
cgit