From 957a5f3320797306469a8dd5ff88eed2822c9164 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 4 Apr 2022 09:29:41 +0200
Subject: [PATCH] [metrics] Uses Eva.Analysis.self instead of Db.Value.self.
---
src/plugins/metrics/metrics_pivot.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/metrics/metrics_pivot.ml b/src/plugins/metrics/metrics_pivot.ml
index 2f943abca82..28ff05163be 100644
--- a/src/plugins/metrics/metrics_pivot.ml
+++ b/src/plugins/metrics/metrics_pivot.ml
@@ -29,7 +29,7 @@ module PivotSourceState =
(Datatype.List(Datatype.String))
(struct
let name = "PivotSourceState"
- let dependencies = [ Ast.self; Db.Value.self; Property_status.self;
+ let dependencies = [ Ast.self; Eva.Analysis.self; Property_status.self;
Messages.self ]
end)
--
GitLab