update tests

diff --git a/src/tests.rs b/src/tests.rs
index 8b6c8407c664eef08eab72e2143b5afd8ced1de6..1804324fc99165dadfe56f57eb739397c7621b5e 100644 (file)
--- a/src/tests.rs
+++ b/src/tests.rs
@@ -1080,7 +1080,7 @@ fn test_queries_on_arithmetic()
     assert_prolog_success!(&mut wam, "?- X is (-1 rdiv 27) ** -3, X ~ -19683.");
 
     assert_prolog_success!(&mut wam, "?- X is 0.0 ** 0.",
-                           [["X = 1"]]);
+                           [["X = 1.0"]]);
     assert_prolog_success!(&mut wam, "?- catch(_ is 0.0 ** -2342, error(E, _), true).",
                            [["E = evaluation_error(no_roots)"]]);
     assert_prolog_success!(&mut wam, "?- X is 0.0 ** 2342.",
@@ -1112,7 +1112,7 @@ fn test_queries_on_arithmetic()
     assert_prolog_success!(&mut wam, "?- X is (-0 rdiv 5) ** 5.",
                            [["X = 0"]]);
     assert_prolog_success!(&mut wam, "?- X is (0 rdiv 5) ** 0.",
-                           [["X = 1"]]);
+                           [["X = 1.0"]]);
     assert_prolog_success!(&mut wam, "?- catch(_ is (0 rdiv 0) ** 5, error(E, _), true).",
                            [["E = evaluation_error(zero_divisor)"]]);
 }