diff --git a/frama_Clang_register.ml b/frama_Clang_register.ml
index b277f81218d5ac0f4f2fd52e70fb95beb83e7567..fc85953c3fd5c0d430b1774e68e1b5da9d61cc29 100644
--- a/frama_Clang_register.ml
+++ b/frama_Clang_register.ml
@@ -31,6 +31,7 @@ let targets =
     "x86_64", "x86_64-unknown-linux-gnu";
     "gcc_x86_64", "x86_64-unknown-linux-gnu";
     "ppc_32", "powerpc-unknown-linux-gnu";
+    "msvc_x86_64", "x86_64-unknown-w64-msvc"
   ]
 
 let target_of_machdep s =