diff options
Diffstat (limited to 'src/main/proto')
| -rw-r--r-- | src/main/proto/firrtl.proto | 1 |
1 files changed, 1 insertions, 0 deletions
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; |