From 7d74951f7cda9450809028e0112b1d482e5496e0 Mon Sep 17 00:00:00 2001 From: Stephan Rave Date: Tue, 18 Oct 2022 16:38:50 +0200 Subject: [PATCH] [test] fix missing import --- src/pymortests/vectorarray.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/pymortests/vectorarray.py b/src/pymortests/vectorarray.py index 390f528b4b..4fbd467516 100644 --- a/src/pymortests/vectorarray.py +++ b/src/pymortests/vectorarray.py @@ -14,6 +14,7 @@ from pymor.vectorarrays.interface import VectorSpace from pymor.vectorarrays.numpy import NumpyVectorSpace from pymor.tools.floatcmp import float_cmp, bounded +from pymor.tools.random import new_rng from pymortests.base import might_exceed_deadline from pymortests.pickling import assert_picklable_without_dumps_function import pymortests.strategies as pyst