wip

joelberkeley · Dec 26, 2023 · e483567 · e483567
1 parent 2c2089b
commit e483567
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Unit/TestTensor.idr b/test/Unit/TestTensor.idr
@@ -71,7 +71,7 @@ partial
 jit : Property
 jit = property $ do
   (unsafeEval (do pure2 !1)) === 1
-  (unsafeEval (do nestedJit !(-3.0))) ==~ [| exp 4.5 |]
+  (unsafeEval (do nestedJit !(-3.0))) ==~ [| exp (-3.0) |]
 
 partial
 canConvertAtXlaNumericBounds : Property