diff --git a/src/protocol/mod.rs b/src/protocol/mod.rs index ebf22a0ae740cc082787d58171826616053c445e..fd1b4735baca5202d4ead0a21a34176cf8ff76c1 100644 --- a/src/protocol/mod.rs +++ b/src/protocol/mod.rs @@ -6,6 +6,12 @@ mod lexer; // mod library; mod parser; +lazy_static::lazy_static! { + pub static ref TRIVIAL_PD: std::sync::Arc = { + std::sync::Arc::new(ProtocolDescription::parse(b"").unwrap()) + }; +} + use crate::common::*; use crate::protocol::ast::*; use crate::protocol::eval::*;