From d458f244081b010ed2af1bfb5372b8d484b82ba7 Mon Sep 17 00:00:00 2001
From: Andrei <andrei@stefanescu.io>
Date: Wed, 24 Jan 2024 07:39:56 +0000
Subject: [PATCH] Update test output.

---
 crux-llvm/test-data/golden/golden/float-cast2.z3.good | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crux-llvm/test-data/golden/golden/float-cast2.z3.good b/crux-llvm/test-data/golden/golden/float-cast2.z3.good
index 4334bf91d..63af98236 100644
--- a/crux-llvm/test-data/golden/golden/float-cast2.z3.good
+++ b/crux-llvm/test-data/golden/golden/float-cast2.z3.good
@@ -1,2 +1,2 @@
-bvZext 32 (ite (floatIsNaN cX@3:f) 0x0:[1] 0x1:[1])
+ite (floatIsNaN cX@3:f) 0x0:[32] 0x1:[32]
 [Crux] Overall status: Valid.