Fix test compilation error

viperproject · Jul 20, 2023 · cbe21e9 · cbe21e9
1 parent fd29caf
commit cbe21e9
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::*;