diff --git a/jbmc/regression/jbmc/deterministic_assignments_json/pom.xml b/jbmc/regression/jbmc/deterministic_assignments_json/pom.xml index 376191f2ff7..e5261ebd701 100644 --- a/jbmc/regression/jbmc/deterministic_assignments_json/pom.xml +++ b/jbmc/regression/jbmc/deterministic_assignments_json/pom.xml @@ -11,7 +11,7 @@ com.cedarsoftware json-io - 4.10.1 + 4.14.1