make Pod trait thread-safe (#317)
This commit is contained in:
parent
b6041508e5
commit
3306f360f7
1 changed files with 1 additions and 1 deletions
|
|
@ -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")
|
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 params(&self) -> &Params;
|
||||||
fn verify(&self) -> Result<(), BackendError>;
|
fn verify(&self) -> Result<(), BackendError>;
|
||||||
fn id(&self) -> PodId;
|
fn id(&self) -> PodId;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue