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
index 9d0a20bb5..cd24ec24e 100644
--- 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);