From 25088bc55e8bc88b7b776371007da9b69b23ca40 Mon Sep 17 00:00:00 2001
From: David Cook <divergentdave@gmail.com>
Date: Sun, 23 Jun 2019 18:07:21 -0500
Subject: [PATCH] Fix test by importing re-exported proptest macro

---
 tests/model.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/model.rs b/tests/model.rs
index 4e73981..755cc07 100644
--- a/tests/model.rs
+++ b/tests/model.rs
@@ -1,4 +1,4 @@
-use model::{linearizable, model};
+use model::*;
 
 #[test]
 fn test_model() {