1
2
3
4
5
6
7
8
9
10
11
12
13

use std::error::Error;
use std::fmt;

#[derive(Debug, Clone)]
pub struct IncorrectProof;

impl fmt::Display for IncorrectProof {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(f, "given proof doesn't match a statement")
    }
}

impl Error for IncorrectProof {}