Skip to content

Commit cbe21e9

Browse files
committed
Fix test compilation error
1 parent fd29caf commit cbe21e9

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

viper/tests/multiple_errors.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
use backend_common::VerificationResult;
12
use std::{sync::Once, vec};
23
use viper::*;
34

0 commit comments

Comments
 (0)