From cbe21e90d18664efb4cff21e0470c3099674b034 Mon Sep 17 00:00:00 2001
From: Jakub Janaszkiewicz <janaszkiewicz.jakub@gmail.com>
Date: Fri, 21 Jul 2023 01:30:08 +0200
Subject: [PATCH] Fix test compilation error

---
 viper/tests/multiple_errors.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/viper/tests/multiple_errors.rs b/viper/tests/multiple_errors.rs
index e7391c3b1bf..ec1472e207c 100644
--- 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::*;