From d2d85b8bc3ef2604fb7aebfb4f643eccb481270a Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 6 Jan 2022 12:03:28 +0100
Subject: [PATCH] Fix type errors in tests/chr_tests.ipynb
Now that ProB supports reals, an expression like x>y is no longer
sufficient to infer that x and y are integers.
---
notebooks/tests/chr_tests.ipynb | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/notebooks/tests/chr_tests.ipynb b/notebooks/tests/chr_tests.ipynb
index d13d768..1fa46fb 100644
--- a/notebooks/tests/chr_tests.ipynb
+++ b/notebooks/tests/chr_tests.ipynb
@@ -80,7 +80,7 @@
}
],
"source": [
- "x>y & y>x"
+ "x : INTEGER & x>y & y>x"
]
},
{
@@ -125,7 +125,7 @@
}
],
"source": [
- "x>y & y>x"
+ "x : INTEGER & x>y & y>x"
]
}
],
--
GitLab