Fix test compilation error

viperproject · Aug 18, 2023 · 08e33a7 · 08e33a7
1 parent 77f1a1d
commit 08e33a7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/viper/tests/multiple_errors.rs b/viper/tests/multiple_errors.rs
@@ -1,3 +1,4 @@
+use backend_common::VerificationResult;
 use std::{sync::Once, vec};
 use viper::*;