From 8a4dd71f5b1570525577cba14ee55a4518cd8b17 Mon Sep 17 00:00:00 2001 From: yousifpatti Date: Thu, 30 Nov 2023 14:04:07 +1000 Subject: [PATCH] Bug fix --- src/main/scala/analysis/solvers/FixPointSolver.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/analysis/solvers/FixPointSolver.scala b/src/main/scala/analysis/solvers/FixPointSolver.scala index 516f4a5c6..72e904742 100644 --- a/src/main/scala/analysis/solvers/FixPointSolver.scala +++ b/src/main/scala/analysis/solvers/FixPointSolver.scala @@ -52,7 +52,7 @@ trait MapLatticeSolver[N, T, L <: Lattice[T]] extends LatticeSolver[Map[N, T]] w * Base trait for solvers for map lattices with lifted co-domains. * @tparam N type of the elements in the map domain. */ -trait MapLiftLatticeSolver[N, T, L <: Lattice[T]] extends MapLatticeSolver[N, T, L] with Dependencies[N] { +trait MapLiftLatticeSolver[N, T, L <: Lattice[T]] extends MapLatticeSolver[N, LiftedElement[T], LiftLattice[N, T, L]] with Dependencies[N] { val lattice: MapLattice[N, LiftedElement[T], LiftLattice[N, T, L]] /**