siftech
diff --git a/‎docker/docker-bake.hcl
+1-1 b/‎docker/docker-bake.hcl
+1-1
@@ -20,7 +20,7 @@ variable "DREAL_REPO_URL" {
   default = "https://github.com/danbryce/dreal4.git"
 }
 variable "DREAL_COMMIT_TAG" {
-  default = "92a8d6aaefa9f241502f11875fa382bebac57dbc"
+  default = "acc5a255e0245f05458b1041a4e163c11e89880e"
 }
 variable "AUTOMATES_COMMIT_TAG" {
   default = "e5fb635757aa57007615a75371f55dd4a24851e0"
Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@ variable "DREAL_REPO_URL" {`
`20`	`20`	`default = "https://github.com/danbryce/dreal4.git"`
`21`	`21`	`}`
`22`	`22`	`variable "DREAL_COMMIT_TAG" {`
`23`		`- default = "92a8d6aaefa9f241502f11875fa382bebac57dbc"`
	`23`	`+ default = "acc5a255e0245f05458b1041a4e163c11e89880e"`
`24`	`24`	`}`
`25`	`25`	`variable "AUTOMATES_COMMIT_TAG" {`
`26`	`26`	`default = "e5fb635757aa57007615a75371f55dd4a24851e0"`