From f160f93dac8570aa101c41f140255f3f92fbdd70 Mon Sep 17 00:00:00 2001
From: joanvallve <jvallve@iri.upc.edu>
Date: Thu, 25 Jul 2024 14:20:07 +0200
Subject: [PATCH] [skip ci] solver schema fixed

---
 schema/solver/SolverManager.schema | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/schema/solver/SolverManager.schema b/schema/solver/SolverManager.schema
index 3d490e4c7..0969a8fc9 100644
--- a/schema/solver/SolverManager.schema
+++ b/schema/solver/SolverManager.schema
@@ -1,3 +1,5 @@
+follow: TypeAndPlugin.schema
+
 period:
   _mandatory: true
   _type: double
-- 
GitLab