diff --git a/src/plugins/dive/server_interface.ml b/src/plugins/dive/server_interface.ml index 653200eb3cfa6b498e094d2ee375404d7cb15cf3..bfff3fc212845ef10b5eba66a315a3f95d569c74 100644 --- a/src/plugins/dive/server_interface.ml +++ b/src/plugins/dive/server_interface.ml @@ -43,11 +43,7 @@ let get_context = context := Some c; c else - begin - Self.error ~once:true - "A prior Eva analysis is required to build the graphs."; - Server.Data.failure "Eva analysis not computed" - end + Server.Data.failure "Eva analysis not computed" let global_window = ref {