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

---
 driver/Frontend.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver/Frontend.ml')

diff --git a/driver/Frontend.ml b/driver/Frontend.ml
index b9db0d23..5db0040f 100644
--- a/driver/Frontend.ml
+++ b/driver/Frontend.ml
@@ -116,7 +116,7 @@ let init () =
     | "riscV"   -> if Configuration.model = "64"
                    then Machine.rv64
                    else Machine.rv32
-    | "mppa_k1c" -> Machine.mppa_k1c
+    | "kvx" -> Machine.kvx
     | "aarch64" -> Machine.aarch64
     | _         -> assert false
   end;
-- 
cgit