diff --git a/jbmc/regression/jbmc/deterministic_assignments_json/generator/pom.xml b/jbmc/regression/jbmc/deterministic_assignments_json/generator/pom.xml index 0a8cc0b40f3..6d9e201fa37 100644 --- a/jbmc/regression/jbmc/deterministic_assignments_json/generator/pom.xml +++ b/jbmc/regression/jbmc/deterministic_assignments_json/generator/pom.xml @@ -11,7 +11,7 @@ com.cedarsoftware json-io - 4.10.1 + 4.14.1