From 5be1abb4c654279762a463a861526ce4e0c48035 Mon Sep 17 00:00:00 2001
From: Deborah Soung
Date: Wed, 3 Mar 2021 16:45:49 -0800
Subject: Fix ProtoBuf conversions for Verification IR (#2100)

---
 src/main/proto/firrtl.proto | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/main/proto')

diff --git a/src/main/proto/firrtl.proto b/src/main/proto/firrtl.proto
index e8451d7a..6ce1c108 100644
--- a/src/main/proto/firrtl.proto
+++ b/src/main/proto/firrtl.proto
@@ -276,6 +276,7 @@ message Firrtl {
       IsInvalid is_invalid = 17;
       MemoryPort memory_port = 18;
       Attach attach = 20;
+      Verification verification = 21;
     }
 
     SourceInfo source_info = 19;
-- 
cgit v1.2.3