From 3306f360f794c6a2d06043342bbf98ed343fdd94 Mon Sep 17 00:00:00 2001 From: "Eduard S." Date: Fri, 27 Jun 2025 15:48:52 +0100 Subject: [PATCH] make Pod trait thread-safe (#317) --- src/middleware/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/middleware/mod.rs b/src/middleware/mod.rs index 2e1537e..04f1272 100644 --- a/src/middleware/mod.rs +++ b/src/middleware/mod.rs @@ -774,7 +774,7 @@ pub fn normalize_statement(statement: &Statement, self_id: PodId) -> Statement { Statement::from_args(predicate, args).expect("statement was valid before normalization") } -pub trait Pod: fmt::Debug + DynClone + Any { +pub trait Pod: fmt::Debug + DynClone + Sync + Send + Any { fn params(&self) -> &Params; fn verify(&self) -> Result<(), BackendError>; fn id(&self) -> PodId;