1 files changed, 1 insertions, 0 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 25a86e9ecd..e2d6b63b69 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -216,6 +216,7 @@ namespace {  // Anonymous namespace for class
       WriteValue(V1);
       WriteType(T2);
       WriteValue(V3);
+      Broken = true;
     }
   };