Merge pull request #2 from divergentdave/test-fix-3

Fix test by importing re-exported proptest macro
spacejam · Jul 24, 2019 · b50d9ee · b50d9ee
2 parents e434df2 + 25088bc
commit b50d9ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/model.rs b/tests/model.rs
@@ -1,4 +1,4 @@
-use model::{linearizable, model};
+use model::*;
 
 #[test]
 fn test_model() {