Fix Merge

rcosta358 · rcosta358 · commit b3f11125546d · 2026-02-10T14:39:35.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/TypeChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/TypeChecker.java
@@ -318,7 +318,7 @@ public boolean checkStateSMT(Predicate prevState, Predicate expectedState, Sourc
 
     public void throwRefinementError(SourcePosition position, Predicate expectedType, Predicate foundType,
             String customMessage) throws LJError {
-        vcChecker.throwRefinementError(position, expectedType, foundType, customMessage);
+        vcChecker.throwRefinementError(position, expectedType, foundType, null, customMessage);
     }
 
     public void throwStateRefinementError(SourcePosition position, Predicate found, Predicate expected,

Original file line number	Diff line number	Diff line change
`@@ -318,7 +318,7 @@ public boolean checkStateSMT(Predicate prevState, Predicate expectedState, Sourc`
`318`	`318`
`319`	`319`	`public void throwRefinementError(SourcePosition position, Predicate expectedType, Predicate foundType,`
`320`	`320`	`String customMessage) throws LJError {`
`321`		`- vcChecker.throwRefinementError(position, expectedType, foundType, customMessage);`
	`321`	`+ vcChecker.throwRefinementError(position, expectedType, foundType, null, customMessage);`
`322`	`322`	`}`
`323`	`323`
`324`	`324`	`public void throwStateRefinementError(SourcePosition position, Predicate found, Predicate expected,`