Split cache implementation

lisa-analyzer · Aug 13, 2024 · 413cee4 · 413cee4
1 parent 97790e4
commit 413cee4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lisa/lisa-sdk/src/main/java/it/unive/lisa/analysis/AnalysisState.java b/lisa/lisa-sdk/src/main/java/it/unive/lisa/analysis/AnalysisState.java
@@ -263,7 +263,7 @@ public AnalysisState<A> assign(
 	public AnalysisState<A> assign(
 			SymbolicExpression id,
 			SymbolicExpression expression,
-			ProgramPoint pp, boolean splitted)
+			ProgramPoint pp)
 			throws SemanticException {
 		if (id instanceof Identifier)
 			return assign((Identifier) id, expression, pp);