Formatting fix

[mukan] / src / prelude.rs

pub use crate::Goal;