diff --git a/src/plugins/metrics/metrics_pivot.ml b/src/plugins/metrics/metrics_pivot.ml index 2f943abca822231740f08df2e923ac6a2e532022..28ff05163be8866c904344217931cfcdcd5850e7 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)