Minor cleanup

sarsko · Dec 22, 2022 · 2039038 · 2039038
1 parent 1be3ae5
commit 2039038
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/Robinson/src/clause.rs b/Robinson/src/clause.rs
@@ -1,9 +1,6 @@
 extern crate creusot_contracts;
-use creusot_contracts::model::*;
 #[allow(unused)]
-use creusot_contracts::std::*;
-#[allow(unused)]
-use creusot_contracts::*;
+use creusot_contracts::{model::*, std::*, *};
 
 use crate::{assignments::*, formula::*, lit::*};