Fix test by importing re-exported proptest macro

divergentdave · divergentdave · commit 25088bc55e8b · 2019-06-23T18:07:21.000-05:00
diff --git a/tests/model.rs b/tests/model.rs
@@ -1,4 +1,4 @@
-use model::{linearizable, model};
+use model::*;
 
 #[test]
 fn test_model() {

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-use model::{linearizable, model};`
	`1`	`+use model::*;`
`2`	`2`
`3`	`3`	`#[test]`
`4`	`4`	`fn test_model() {`