Ugly commit.

viperproject · Feb 25, 2023 · 8baf2f4 · 8baf2f4
1 parent 15cb6f9
commit 8baf2f4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/prusti-viper/src/encoder/errors/error_manager.rs b/prusti-viper/src/encoder/errors/error_manager.rs
@@ -737,6 +737,8 @@ impl<'tcx> ErrorManager<'tcx> {
                 )
             }
 
+            ("exhale.failed:insufficient.permission", ErrorCtxt::CopyPlace) |
+            ("exhale.failed:insufficient.permission", ErrorCtxt::MovePlace) |
             ("call.precondition:insufficient.permission", ErrorCtxt::CopyPlace) |
             ("call.precondition:insufficient.permission", ErrorCtxt::MovePlace) => {
                 PrustiError::verification(