[pbt] expose simpler interface Property.run

1 files changed, 2 insertions, 2 deletions

diff --git a/pbt/ts/src/index.test.ts b/pbt/ts/src/index.test.ts
index deb55ec..58f5119 100644
--- a/pbt/ts/src/index.test.ts
+++ b/pbt/ts/src/index.test.ts
@@ -1,9 +1,9 @@
-import Prando from 'prando';
 import { prop_reverse_with_two_lists } from './index';
+import { Property } from './property';
 
 describe('testing lists reversal', () => {
   test('reverse of two appended lists is append of each list reversed', () => {
-    let reverse_append_result = prop_reverse_with_two_lists(new Prando(Math.random() * 1000), 0);
+    let reverse_append_result = Property.run(prop_reverse_with_two_lists);
     expect(reverse_append_result).toBe(true);
   });
 });